berkeley-abc / abc
git clone https://github.com/berkeley-abc/abc.git
ABC: System for Sequential Logic Synthesis and Formal Verification
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
1.2k
★ total
849
forks · 230 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageC
License—
Created2018-03-11 (8y ago)
Last push3d ago
OwnerOrganization