Package Details: abc-hg r3088.7cc77dc226de-1

Git Clone URL: https://aur.archlinux.org/abc-hg.git (read-only)
Package Base: abc-hg
Description: System for Sequential Logic Synthesis and Formal Verification
Upstream URL: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
Licenses: BSD
Conflicts: abc
Provides: abc
Submitter: spaceships
Maintainer: spaceships
Last Packager: spaceships
Votes: 1
Popularity: 0.000001
First Submitted: 2015-11-13 17:01
Last Updated: 2015-11-13 18:06

Required by (0)

Sources (1)