berkeley-abc
ABC - A System for Sequential Synthesis and Verification

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/berkeley-abc

general

source
berkeley-abc (optional, misc)
version
1.01+20181130git163bba5+dfsg-1
maint
Debian Science Maintainers (a), Ruben Undheim (u)
std-ver
4.2.1
VCS
Git (browse)

binaries

todo

testing migration

news RSS

bugs

all bug history graph
1
RC
0
I&N
1
M&W
0
F&P
0