How to Install and Uninstall berkeley-abc Package on Kali Linux
Last updated: November 26,2024
1. Install "berkeley-abc" package
In this section, we are going to explain the necessary steps to install berkeley-abc on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
berkeley-abc
Copied
2. Uninstall "berkeley-abc" package
Here is a brief guide to show you how to uninstall berkeley-abc on Kali Linux:
$
sudo apt remove
berkeley-abc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the berkeley-abc package on Kali Linux
Package: berkeley-abc
Version: 1.01+20230625git01b1bd1+dfsg-3
Installed-Size: 15880
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libbz2-1.0, libc6 (>= 2.34), libgcc-s1 (>= 3.4), libreadline8 (>= 6.0), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Size: 5784212
SHA256: bc760458a4487ad4f9ff195ee5720891f305fbd8e1cfd2fac2b97f99fa4c8bc6
SHA1: 3ead9d9f8bed6e6e0c9d322de088a42de75d84c4
MD5sum: a279e0b0779ad8caadb835ba696d168e
Description: ABC - A System for Sequential Synthesis and Verification
This 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.
Description-md5:
Homepage: https://www.eecs.berkeley.edu/~alanmi/abc/
Section: electronics
Priority: optional
Filename: pool/main/b/berkeley-abc/berkeley-abc_1.01+20230625git01b1bd1+dfsg-3_amd64.deb
Version: 1.01+20230625git01b1bd1+dfsg-3
Installed-Size: 15880
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libbz2-1.0, libc6 (>= 2.34), libgcc-s1 (>= 3.4), libreadline8 (>= 6.0), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Size: 5784212
SHA256: bc760458a4487ad4f9ff195ee5720891f305fbd8e1cfd2fac2b97f99fa4c8bc6
SHA1: 3ead9d9f8bed6e6e0c9d322de088a42de75d84c4
MD5sum: a279e0b0779ad8caadb835ba696d168e
Description: ABC - A System for Sequential Synthesis and Verification
This 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.
Description-md5:
Homepage: https://www.eecs.berkeley.edu/~alanmi/abc/
Section: electronics
Priority: optional
Filename: pool/main/b/berkeley-abc/berkeley-abc_1.01+20230625git01b1bd1+dfsg-3_amd64.deb