How to Install and Uninstall boolector Package on Linux Mint 21.3 (Virginia)

Last updated: December 28,2024

1. Install "boolector" package

This is a short guide on how to install boolector on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Linux Mint 21.3 (Virginia)

Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 774
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.1_amd64.deb
Size: 323476
MD5sum: bccb72b535cee78804b0796be11cc4f9
SHA1: 1393edfcf5e0ee9a83c4c1fe137bd86477db40db
SHA256: 0d4af8aa08af0d5227d46e3422ee1d444fc38bd9bc2cb4e859474be2f8bc1197
SHA512: f4abc71aeda894044f95b78f9b0b3fa2e6803fc5518b28ca2c09075cb8a54c05a131928e60effaee8a3e7f754d96859eaec40fca11f3789bb81e9b892c78bd09
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d