Fedora Packages

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

You can contact the maintainers of this package via email at abc dash maintainers at fedoraproject dot org.

Sources on Pagure