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 $ sudo apt install berkeley-abc

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 $ sudo apt autoclean && sudo apt autoremove

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