berkeley-abc / abcLinks

ABC: System for Sequential Logic Synthesis and Formal Verification
996Updated last week

Alternatives and similar repositories for abc

Users that are interested in abc are comparing it to the libraries listed below

Sorting: