How to Install and Uninstall boolector Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 14,2024

1. Install "boolector" package

Please follow the guidance below to install boolector on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boolector
            
                    
    
    Copied

2. Uninstall "boolector" package

In this section, we are going to explain the necessary steps to uninstall boolector on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Ubuntu 20.10 (Groovy Gorilla)

Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1build1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 782
Depends: libc6 (>= 2.14)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1build1_amd64.deb
Size: 302448
MD5sum: 33d5142383e6200d361d1204299e71cd
SHA1: b3374343ffe4772ac7e37fcc72e07dfd9ed07712
SHA256: 53930ff2bebc8a1e88b69783c13bd3369da4c7cb297e4e032344e25e2038d21e
SHA512: 98c047f72cad3427e59fd545867ca5fc0761e5528098e78eaa2b0a10b6b59943889a0ca51bbad7d1c85901c2d3f95bc8b495d87a2a01356d3b7caaabb1543430
Homepage: http://fmv.jku.at/boolector/
Description-en: SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d