Source Package abc

Subpackages

• abc - Sequential logic synthesis and formal verification
• abc-devel - Headers and libraries for developing with ABC
• abc-libs - Library for sequential synthesis and verification