sci-mathematics@gentoo.org Gentoo Mathematics Project ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. https://github.com/berkeley-abc/abc/issues/ berkeley-abc/abc