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-31.git20210328.fc35 | - |
| Fedora 35 | 1.01-31.git20210328.fc35 | - |
| Fedora 34 | 1.01-30.git20210328.fc34 | - |
| EPEL 7 | 1.01-9.hg20160905.el7 | - |
Package Info
Related Packages
- Upstream: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
- License(s): MIT
- Maintainers: somlo, brouhaha, jjames
Related Packages
You can contact the maintainers of this package via email at
abc dash maintainers at fedoraproject dot org.
Sources on Pagure