pkgsrc.se | The NetBSD package collection

./wip/abc, System for Sequential Logic Synthesis and Formal Verification

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.0.0.5430, Package name: abc-0.0.0.5430, Maintainer: pkgsrc-users

ABC is a system for Sequential Logic Synthesis and Formal Verification

Master sites:

https://github.com/The-OpenRoad-Project/

Version history: (Expand)

(2025-07-15) Package has been reborn
(2025-07-15) Package deleted from pkgsrc
(2024-09-15) Updated to version: abc-0.0.0.5430
(2024-09-13) Package added to pkgsrc.se, version abc-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2 (created)