alanmi-abc - System for Sequential Logic Synthesis and Formal Verification

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package filename alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm
Package name alanmi-abc
Package version 20180617.0.g28a1307
Package release alt1
Package architecture x86_64
Package type rpm
Category Engineering
Homepage -
License -
Maintainer -
Download size 13.97 MB
Installed size 13.97 MB
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 tool-box rather than a complete tool.


Package Version Architecture Repository
alanmi-abc-20180617.0.g28a1307-alt1.i586.rpm 20180617.0.g28a1307 i586 Classic
alanmi-abc - - -


Name Value
/lib64/ - - - - - - - - - - - - - - - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


Name Value
alanmi-abc = 20180617.0.g28a1307-alt1
berkeley-abc -


Type URL
Binary Package alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm
Source Package alanmi-abc-20180617.0.g28a1307-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] x86_64 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install alanmi-abc rpm package:
    # sudo apt-get install alanmi-abc




2018-06-19 - Elvira Khabirova <> 20180617.0.g28a1307-alt1
- New version
- Upstream moved to github
2017-02-10 - Elvira Khabirova <> 20160717.196.5d42a91ef6fb-alt1
- Initial build

See Also

Package Description
aldo-0.7.7-alt1_1.x86_64.rpm A morse tutor
ale- Combining multiple inputs representing the same scene
alevt-1.6.2-alt2_29.x86_64.rpm Teletext decoder/browser
alex4-1.0-alt2_28.x86_64.rpm Alex the Allegator 4 - Platform game
alexandra-1.5.1-alt1.x86_64.rpm A small and user friendly opensource video library with great potential
algencan-2.4.0-alt2.x86_64.rpm Solving extremely large problems with moderate computer time
algol68g-2.8.4-alt1.x86_64.rpm Algol 68 interpreter
alienblaster-1.1.0-alt2_21.x86_64.rpm Action-loaded 2D arcade shooter game
alkimia-8.0.3-alt1.x86_64.rpm Alkimia is the infrastructure for common storage and business logic that will be used by all financial applications in KDE
alleyoop-0.9.8-alt1_9.x86_64.rpm Graphical front-end to the Valgrind memory checker for x86
allin1-0.5.0-alt6.x86_64.rpm The all-in-one monitoring dockapplet
alltray-0.71b-alt2_14.x86_64.rpm Dock any application in the tray
almanah-0.12.0-alt1.x86_64.rpm Diary editor for GNOME
alock-0.0.1-alt0.svn94.1.x86_64.rpm Locks the local X display until the correct password is entered
alphabet-soup-1.1-alt2_24.x86_64.rpm Guide your worm through the soup to spell words