Search Criteria
Package Details: abc-git 1.02.r5444.806a996-2
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: | https://people.eecs.berkeley.edu/~alanmi/abc/ |
| Licenses: | BSD |
| Conflicts: | abc |
| Provides: | abc, libabc.so |
| Submitter: | spaceships |
| Maintainer: | TheBitFighter |
| Last Packager: | TheBitFighter |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-09-05 21:48 (UTC) |
| Last Updated: | 2024-06-06 11:57 (UTC) |
Dependencies (4)
Required by (2)
- act-expropt-git (requires abc)
- hal-emsec-git (requires abc)