gentoo.mahdi.cz
sci-electronics
:abc
ABC: System for Sequential Logic Synthesis and Formal Verification
https://github.com/YosysHQ/abc
abc-1.01_p20220701
Old-MIT
download
~amd64
qsx