Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/abc
System for sequential logic synthesis and formal verification
Screenshots
https://people.eecs.berkeley.edu/~alanmi/abc/
https://github.com/berkeley-abc/abc/
abc-9999
+readline +threads
View
Download
Browse
License: BSD
Overlay:
gentoo
abc-0_p20230313
~amd64 ~x86
+readline +threads
View
Download
Browse
License: BSD
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags
+readline
* This flag is undocumented *
+threads
* This flag is undocumented *
View
Download
Browse