abc - Sequential logic synthesis and formal verification

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name abc
Package version 1.01
Package release 9.hg20160905.fc25
Package architecture i686
Package type rpm
Installed size 16.31 KB
Download size 18.12 KB
Official Mirror
ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in synchronous hardware
designs.  ABC combines scalable logic optimization based on And-Inverter
Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up
tables and standard cells, and innovative algorithms for sequential
synthesis and verification.
ABC provides an experimental implementation of these algorithms and a
programming environment for building similar applications.  Future
development will focus on improving the algorithms and making most of
the packages stand-alone.  This will allow the user to customize ABC for
their needs as if it were a toolbox rather than a complete tool.


Package Version Architecture Repository
abc-1.01-9.hg20160905.fc25.x86_64.rpm 1.01 x86_64 Fedora
abc - - -


Name Value
abc-libs(x86-32) = 1.01-9.hg20160905.fc25 - - - - -
rtld(GNU_HASH) -


Name Value
abc = 1.01-9.hg20160905.fc25
abc(x86-32) = 1.01-9.hg20160905.fc25
abc-python2 = 1.01-9.hg20160905.fc25


Name Value
abc-python2 < 1.01-8.hg20160203.fc25


Type URL
Binary Package abc-1.01-9.hg20160905.fc25.i686.rpm
Source Package abc-1.01-9.hg20160905.fc25.src.rpm

Install Howto

Install the abc rpm package:

# dnf install abc




2016-09-10 - Eric Smith <> - 1.01-9.hg20160905
- Update to latest mercurial snapshot
2016-02-05 - Jerry James <> - 1.01-8.hg20160203
- Update to latest mercurial snapshot
- Drop the python2 subpackage; upstream moved support to a separate project
2016-02-03 - Fedora Release Engineering <> - 1.01-7.hg20150306
- Rebuilt for
2015-06-16 - Fedora Release Engineering <> - 1.01-6.hg20150306
- Rebuilt for
2015-05-02 - Kalev Lember <> - 1.01-5.hg20150306
- Rebuilt for GCC 5 C++11 ABI change
2015-03-07 - Jerry James <> - 1.01-4.hg20150306
- Update to latest mercurial snapshot
2015-01-01 - Jerry James <> - 1.01-3.hg20150101
- Update to latest mercurial snapshot
- Fix installation of header files
2014-12-03 - Jerry James <> - 1.01-2.hg20141130
- Drop unnecessary jquery Provides
- Fix file permissions
2014-12-01 - Jerry James <> - 1.01-1.hg20141130
- Initial RPM

See Also

Package Description
abc-devel-1.01-9.hg20160905.fc25.i686.rpm Headers and libraries for developing with ABC
abc-libs-1.01-9.hg20160905.fc25.i686.rpm Library for sequential synthesis and verification
abcde-2.7.2-1.fc25.noarch.rpm A Better CD Encoder
abcm2ps-7.8.14-2.fc24.i686.rpm A program to typeset ABC tunes into Postscript
abduco-0.6-1.fc25.i686.rpm Session management in a clean and simple way
abe-1.1-28.fc25.i686.rpm Scrolling, platform-jumping, ancient pyramid exploring game
abgraph-1.1-11.fc24.noarch.rpm ABGraph is a simple tool to benchmark webservers
abi-compliance-checker-1.99.25-1.fc25.noarch.rpm An ABI Compliance Checker
abi-dumper-0.99.19-1.fc25.noarch.rpm Tool to dump ABI of an ELF object containing DWARF debug info
abi-tracker-1.9-1.fc25.noarch.rpm Tool to visualize ABI changes timeline of a C/C++ library
abiword-3.0.1-12.fc25.i686.rpm Word processing program
abook-0.6.1-2.fc24.i686.rpm Text-based addressbook program for mutt
abootimg-0.6-12.20110830gitff8e759.fc24.i686.rpm Tool for manipulating Android boot images
abrt-2.9.0-1.fc25.i686.rpm Automatic bug detection and reporting tool
abrt-addon-ccpp-2.9.0-1.fc25.i686.rpm abrt's C/C++ addon