How to Install and Uninstall boolector Package on Debian 11 (Bullseye)

Last updated: December 27,2024

1. Install "boolector" package

Please follow the steps below to install boolector on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boolector
            
                    
    
    Copied

2. Uninstall "boolector" package

Here is a brief guide to show you how to uninstall boolector on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Debian 11 (Bullseye)

Package: boolector
Source: boolector (1.5.118.6b56be4.121013-1)
Version: 1.5.118.6b56be4.121013-1+b1
Installed-Size: 783
Maintainer: Michael Tautschnig
Architecture: amd64
Depends: libc6 (>= 2.14)
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Homepage: http://fmv.jku.at/boolector/
Tag: implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb
Size: 303934
MD5sum: 1b4bff1e9dfc9ed429a9778100c972b0
SHA256: 3543623a16c08e8696a8048f0710daa62ce4c294fe97d25f91d50754069b6b73