Search Criteria
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: | |
| Conflicts: | |
| Provides: | |
| Submitter: | spaceships |
| Maintainer: | spaceships |
| Last Packager: | spaceships |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-09-05 21:48 |
| Last Updated: | 2019-09-05 21:48 |
Dependencies (3)
- gcc (gcc-multilib-x32, gcc6-gcccompat, fastgcc, gcc-multilib-git, gcc-git) (make)
- git (git-git) (make)
- make (make3, make-git, make-without-guile) (make)