How to Install and Uninstall berkeley-abc Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 10,2024

1. Install "berkeley-abc" package

Please follow the instructions below to install berkeley-abc on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                berkeley-abc
            
                    
    
    Copied

2. Uninstall "berkeley-abc" package

Please follow the guidance below to uninstall berkeley-abc on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                berkeley-abc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the berkeley-abc package on Ubuntu 20.10 (Groovy Gorilla)

Package: berkeley-abc
Architecture: amd64
Version: 1.01+20191006git52a8ebb+dfsg-1build1
Priority: optional
Section: universe/electronics
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14871
Depends: libbz2-1.0, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Filename: pool/universe/b/berkeley-abc/berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1_amd64.deb
Size: 5356456
MD5sum: 538faca86ab2694d7697b9cc06f6ccd1
SHA1: 6ee1b9ebad11092156d18c0a5a02a6ee09a3aca3
SHA256: e2d4ad7a768378158130fa091122f9086bcc69c2c590572995d30e8791fcb36a
SHA512: 7a21842ce10b90bf778fbda477dcb0fd8ba4df36a2e8aac3ed215eb83aa794dd5a5d94b16a7f905e708252c0a5759d64a1f01dbe19879f19e71fec9be6031f81
Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/
Description-en: 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: fe8b27ff54bd9aa0a3cbde7454745685