Store 2504


ABC: System for Sequential Logic Synthesis and Formal Verification - berkeley-abc


GitHub		https://github.com/berkeley-abc/abc
Size		160.3M (159.7M (+592K))
Commits		6092 (6087 (+5))
Update Stats		0s ... 11m29s [Ø (last 10) 6s (7,7,6,5,8,7,5,7,6,6))]
Last Change		2026-03-27 02:56:45
Last Check		2026-03-27 02:56:44
Created		2022-07-24 15:46:34

Messages as of last check on 2026-03-27 02:56:44

Operation

Verifying url ...