sci-mathematics/abc
System for sequential logic synthesis and formal verification
Screenshots
View
Download
BrowseChangeLog
commit 1e95f22062b44b3708c09b56fb2334f41c633e2e
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500
*/*: update metadata schema uri
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
commit ee626fb5064132655bbb3ef301bfa60fec7c9ef1
Author: Tony Olagbaiye <bqv@fron.io>
Date: Fri Dec 9 22:11:29 2022 +0000
sci-mathematics/abc: new package, add 9999
Signed-off-by: Tony Olagbaiye <bqv@fron.io>
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500
*/*: update metadata schema uri
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
commit ee626fb5064132655bbb3ef301bfa60fec7c9ef1
Author: Tony Olagbaiye <bqv@fron.io>
Date: Fri Dec 9 22:11:29 2022 +0000
sci-mathematics/abc: new package, add 9999
Signed-off-by: Tony Olagbaiye <bqv@fron.io>