How to Install and Uninstall berkeley-abc Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 15,2024

1. Install "berkeley-abc" package

Please follow the step by step instructions below to install berkeley-abc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                berkeley-abc
            
                    
    
    Copied

2. Uninstall "berkeley-abc" package

Please follow the step by step instructions below to uninstall berkeley-abc on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                berkeley-abc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the berkeley-abc package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: berkeley-abc
Priority: optional
Section: universe/electronics
Installed-Size: 11541
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 1.01+20150706hgc3698e0+dfsg-2
Depends: libbz2-1.0, libc6 (>= 2.14), libreadline6 (>= 6.0), zlib1g (>= 1:1.1.4)
Filename: pool/universe/b/berkeley-abc/berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_amd64.deb
Size: 3679076
MD5sum: 82a66b19819df3981e9ed7a40793ef79
SHA1: a67918f8cd425309af2d51fd72fdc6ed1e4fb12d
SHA256: c4555543e17ee54c4e80d9fbe0ad2537900dae5a3edf425180d00569c80411f4
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
Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu