alanmi-abc-20180617.0.g28a1307-alt1.i586.rpm


Advertisement

Description

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

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package name alanmi-abc
Package version 20180617.0.g28a1307
Package release alt1
Package architecture i586
Package type rpm
Installed size 15.62 MB
Download size 15.62 MB
Official Mirror ftp.altlinux.org
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.

Alternatives

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

Requires

Name Value
/lib/ld-linux.so.2 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libc.so.6(GLIBC_2.7) -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GLIBC_2.0) -
libm.so.6(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.1) -
libreadline.so.7 -
librt.so.1 -
librt.so.1(GLIBC_2.2) -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -

Provides

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

Download

Type URL
Binary Package alanmi-abc-20180617.0.g28a1307-alt1.i586.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] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install alanmi-abc rpm package:
    # sudo apt-get install alanmi-abc

Files

Path
/usr/bin/abc
/usr/share/doc/alanmi-abc-20180617.0.g28a1307/README.md
/usr/share/doc/alanmi-abc-20180617.0.g28a1307/copyright.txt

Changelog

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

See Also

Package Description
aldo-0.7.6-alt1_17.i586.rpm A morse tutor
ale-0.9.0.3-alt9.i586.rpm Combining multiple inputs representing the same scene
alevt-1.6.2-alt2_29.i586.rpm Teletext decoder/browser
alex4-1.0-alt2_28.i586.rpm Alex the Allegator 4 - Platform game
alexandra-1.5.1-alt1.i586.rpm A small and user friendly opensource video library with great potential
algencan-2.4.0-alt2.i586.rpm Solving extremely large problems with moderate computer time
algol68g-2.8.4-alt1.i586.rpm Algol 68 interpreter
alienblaster-1.1.0-alt2_21.i586.rpm Action-loaded 2D arcade shooter game
alleyoop-0.9.8-alt1_9.i586.rpm Graphical front-end to the Valgrind memory checker for x86
allin1-0.5.0-alt6.i586.rpm The all-in-one monitoring dockapplet
alltray-0.71b-alt2_14.i586.rpm Dock any application in the tray
alock-0.0.1-alt0.svn94.1.i586.rpm Locks the local X display until the correct password is entered
alphabet-soup-1.1-alt2_24.i586.rpm Guide your worm through the soup to spell words
alsa-oss-1.1.6-alt1.i586.rpm Advanced Linux Sound Architecture (ALSA) OSS compatibility library
alsa-plugins-1.1.8-alt1.i586.rpm Advanced Linux Sound Architecture (ALSA) plugins
Advertisement
Advertisement