How to Install and Uninstall libbdd-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: February 24,2025

1. Install "libbdd-dev" package

Please follow the instructions below to install libbdd-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbdd-dev
            
                    
    
    Copied

2. Uninstall "libbdd-dev" package

This tutorial shows how to uninstall libbdd-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbdd-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbdd-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libbdd-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 694
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Architecture: amd64
Source: buddy
Version: 2.4-11
Depends: libbdd0c2 (= 2.4-11), libc6-dev | libc-dev
Filename: pool/universe/b/buddy/libbdd-dev_2.4-11_amd64.deb
Size: 454498
MD5sum: 252f7ee5823ca78c0128b3d3cd4a69cf
SHA1: 6d703db80cffe81bd9e91238bcc85875b61f65e4
SHA256: 5bc128e88d8261e4b07486673f96820b3b5d60f384dd0468fe48ee0a30b1d09a
Description-en: Binary decision-diagram library (development)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. BuDDy is an efficient BDD library with all the standard
BDD operations, dynamic reordering of variables, automated garbage
collection, a C++ interface with automatic reference counting, and
more.
.
libbdd-dev is the BuDDy development package containing a static
library and the include files needed for building applications using
BuDDy.
Description-md5: caaa42509b2e5eb065636f9cd6cf753a
Homepage: http://buddy.sourceforge.net
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu