How to Install and Uninstall libbdd0c2 Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 04,2024

1. Install "libbdd0c2" package

This guide covers the steps necessary to install libbdd0c2 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbdd0c2
            
                    
    
    Copied

2. Uninstall "libbdd0c2" package

This guide covers the steps necessary to uninstall libbdd0c2 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbdd0c2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbdd0c2 package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libbdd0c2
Priority: optional
Section: universe/libs
Installed-Size: 144
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Architecture: amd64
Source: buddy
Version: 2.4-11
Depends: libc6 (>= 2.11), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1)
Filename: pool/universe/b/buddy/libbdd0c2_2.4-11_amd64.deb
Size: 51450
MD5sum: 6f5354db18c830eb934fba30f4cf8e39
SHA1: af0ee09e91c3b46683c61e4a79afe26f8b1db22d
SHA256: 69220eb5b4d1e194b9e29754986c66799e17134b1c2f65e4bb73d8f6aa404742
Description-en: Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.
Description-md5: b3e8960dec071b06cd523391a20941ac
Homepage: http://buddy.sourceforge.net
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu