How to Install and Uninstall libbdd-dev Package on Kali Linux

Last updated: May 17,2024

1. Install "libbdd-dev" package

Please follow the step by step instructions below to install libbdd-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbdd-dev
            
                    
    
    Copied

2. Uninstall "libbdd-dev" package

This guide covers the steps necessary to uninstall libbdd-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbdd-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbdd-dev package on Kali Linux

Package: libbdd-dev
Source: buddy
Version: 2.4+dfsg-2
Installed-Size: 834
Maintainer: Debian QA Group
Architecture: amd64
Depends: libbdd0c2 (= 2.4+dfsg-2), libc6-dev | libc-dev
Size: 304564
SHA256: 4ec64f2897d3f8e28b34849d7d90df1899f7b3b2246ac52bbbf98ab2cced545f
SHA1: 3227f89e42168c7ef3e6743ddd974ee217cc9e6c
MD5sum: c5ec1d0ad140e47e2de1b3dbf743a481
Description: 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:
Homepage: https://buddy.sourceforge.net/manual/main.html
Tag: devel::lang:c, devel::library, implemented-in::c, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/b/buddy/libbdd-dev_2.4+dfsg-2_amd64.deb