abc-libs Subpackage of abc
Library for sequential synthesis and verification
This package contains the core functionality of ABC as a shared library.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 1.01-33.git20211229.fc36 | - |
| Fedora 36 | 1.01-33.git20211229.fc36 | - |
| Fedora 35 | 1.01-31.git20210328.fc35 | - |
| EPEL 7 | 1.01-9.hg20160905.el7 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm
- License(s): MIT
- Maintainers: jjames, brouhaha, somlo
Related Packages
You can contact the maintainers of this package via email at
abc dash maintainers at fedoraproject dot org.
Sources on Pagure