berkeley-abc's tracked open-source repos, sorted by stars.
ABC: System for Sequential Logic Synthesis and Formal Verification
