| ABC: System for Sequential Logic Synthesis and Formal Verification - berkeley-abc |
| https://github.com/berkeley-abc/abc | ||
| Size | 158.0M (157.8M (+196K)) | |
| Commits | 6070 (6061 (+9)) | |
| Update Stats | 0s ... 11m29s [Ø (last 10) 6s (4,6,6,6,7,7,7,7,7,7))] | |
| Last Change | 2026-02-24 23:26:01 | |
| Last Check | 2026-02-24 23:26:01 | |
| Created | 2022-07-24 15:46:34 |
Operation
Verifying url ...
Mail to Andreas Kupries