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


Advertisement

Description

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

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

Requires

Name Value
/lib64/ld-linux-x86-64.so.2 -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libreadline.so.7()(64bit) -
librt.so.1()(64bit) -
librt.so.1(GLIBC_2.2.5)(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.8)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
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.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] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 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.x86_64.rpm A morse tutor
ale-0.9.0.3-alt9.x86_64.rpm 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
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
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
alsa-oss-1.1.6-alt1.x86_64.rpm Advanced Linux Sound Architecture (ALSA) OSS compatibility library
alsa-plugins-1.1.8-alt1.x86_64.rpm Advanced Linux Sound Architecture (ALSA) plugins
Advertisement
Advertisement