Search Criteria
Package Details: abc-git 1.01-1
Package Actions
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) |