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 38 | 1.01-40.git20230708.fc38 | - |
| EPEL 7 | 1.01-9.hg20160905.el7 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
- License(s): MIT
- Maintainers: jjames, somlo, brouhaha
Related Packages
You can contact the maintainers of this package via email at
abc dash maintainers at fedoraproject dot org.
Sources on Pagure