| ABC: System for Sequential Logic Synthesis and Formal Verification - berkeley-abc |
 GitHub |
https://github.com/berkeley-abc/abc | |
| Size | 152.7M (151.5M (+1.2M)) | |
| Commits | 6026 (6019 (+7)) | |
| Update Stats | 0s ... 11m29s [Ø (last 10) 6s (6,6,6,7,6,7,5,5,7,5))] | |
| Last Change | 2026-01-05 09:07:02 | |
| Last Check | 2026-01-08 20:46:56 | |
| Created | 2022-07-24 15:46:34 |
Operation
Mirror (Self)Verifying url ...Mail to Andreas Kupries