BSD Ports

wip/abc 0.0.0.5430 NetBSD

System for Sequential Logic Synthesis and Formal Verification

System
NetBSD
Repository
pkgsrc-wip
Maintainer
[email protected]
Categories
wip, cad

Description

ABC is a system for Sequential Logic Synthesis and Formal Verification

In the other systems

SystemPortVersion
NetBSDwip/abc0.0.0.5430
FreeBSDcad/abcg20260925,1
OpenBSDcad/abc1.01.20210519
DragonFlycad/abcg20241117
MidnightBSDcad/abcg20241117
HardenedBSDcad/abcg20260911,1
GhostBSDcad/abcg20260911,1

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/abc && make install clean

Dependencies