Package Details: abc-git 1.01-1

Git Clone URL: https://aur.archlinux.org/abc-git.git (read-only, click to copy)
Package Base: abc-git
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: None
Last Packager: spaceships
Votes: 1
Popularity: 0.000000
First Submitted: 2019-09-05 21:48 (UTC)
Last Updated: 2019-09-05 21:48 (UTC)

Dependencies (3)

Required by (0)

Sources (1)