How to Install and Uninstall boolector Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "boolector" package

In this section, we are going to explain the necessary steps to install boolector on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boolector
            
                    
    
    Copied

2. Uninstall "boolector" package

Please follow the instructions below to uninstall boolector on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Ubuntu 23.10 (Mantic Minotaur)

Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.3
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 786
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
Size: 327062
MD5sum: 374552ad3b646ab3715b7871635d1fda
SHA1: 1b91cc56cbfddc46045a9a19e5ef5e498f23ba60
SHA256: 261de98cbd5772f737c3629bde0dbb44bebadd1b896b12de5e15e335c8939c35
SHA512: c7fe6daa2d175ac8736a929bc308234a13adaa17e0094cf7bdb89e87a01658139a2e78c52ff2a908319411dfe0f047d9f93b4986fd7ff6c23476e0c7c4f27509
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d