gentoo.mahdi.cz
sci-mathematics
:abc
System for sequential logic synthesis and formal verification
abc-9999
BSD
download
~amd64 ~x86
gentoo
abc-0_p20230313
BSD
download
~amd64 ~x86
gentoo