How to Install and Uninstall boolector Package on Debian 12 (Bookworm)

Last updated: May 14,2024

You can also install and uninstall the boolector on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "boolector" package

This tutorial shows how to install boolector on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boolector
            
                    
    
    Copied

2. Uninstall "boolector" package

Please follow the step by step instructions below to uninstall boolector on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Debian 12 (Bookworm)

Package: boolector
Version: 1.5.118.6b56be4.121013-1.3
Installed-Size: 786
Maintainer: Michael Tautschnig
Architecture: amd64
Depends: libc6 (>= 2.34)
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.3_amd64.deb
Size: 309044
MD5sum: 88676c267bf495b66d7254ec95149412
SHA256: dc4ddcd9688bd8fd6529ded9411b23491682eb90f662d2e6a359709e5c39d34e