How to Install and Uninstall boolector Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: December 28,2024

1. Install "boolector" package

Please follow the steps below to install boolector on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                boolector
            
                    
    
    Copied

2. Uninstall "boolector" package

This guide covers the steps necessary to uninstall boolector on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                boolector
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the boolector package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: boolector
Priority: extra
Section: universe/science
Installed-Size: 802
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1
Depends: libc6 (>= 2.14)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1_amd64.deb
Size: 353614
MD5sum: b0bf0a7a68a6a2e564532a62a4ee6635
SHA1: 7be3c980049ce1dc4d47228673dc308a8d8122cc
SHA256: 67b50a1dddbb844b9c32ceb646bd54f62d5d891149f3b0d8786e65a5f384a654
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
Homepage: http://fmv.jku.at/boolector/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu