How to Install and Uninstall libbdd-dev Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 23,2024

1. Install "libbdd-dev" package

Please follow the instructions below to install libbdd-dev on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbdd-dev
            
                    
    
    Copied

2. Uninstall "libbdd-dev" package

Please follow the steps below to uninstall libbdd-dev on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbdd-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbdd-dev package on Ubuntu 21.10 (Impish Indri)

Package: libbdd-dev
Architecture: amd64
Version: 2.4-11build1
Priority: optional
Section: universe/libdevel
Source: buddy
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 695
Depends: libbdd0c2 (= 2.4-11build1), libc6-dev | libc-dev
Filename: pool/universe/b/buddy/libbdd-dev_2.4-11build1_amd64.deb
Size: 454444
MD5sum: 8119e4227ce523f56ad9bf696802b56a
SHA1: 347504dbc1f53b32535f2a93d1f7ffd550d51ae5
SHA256: d55e072a88ff6d82bcc7be7d2a2a68cd40dea3a761aaab57d0357a672941c85f
SHA512: a5dce8311811227a5fa35e5663295d9088acab5f253300e5c7c65b90da70ea7e0768232cb85c2a87e3d48635ab4ecd4e80c905d03e77a37409fc97269aec0c25
Homepage: http://buddy.sourceforge.net
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