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

Last updated: May 11,2024

1. Install "z3" package

Here is a brief guide to show you how to install z3 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                z3
            
                    
    
    Copied

2. Uninstall "z3" package

In this section, we are going to explain the necessary steps to uninstall z3 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: z3
Priority: extra
Section: universe/science
Installed-Size: 16317
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Version: 4.4.0-5
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libgomp1 (>= 4.9), libstdc++6 (>= 5.2)
Filename: pool/universe/z/z3/z3_4.4.0-5_amd64.deb
Size: 5239022
MD5sum: dcb09faa58dfc60b2cd90d0995c26a52
SHA1: d8042d3faa4f5c4bc19dd0820e9e3b14f82ff477
SHA256: e8dc59a3aea03d01c9ac128d94500138691928ebb8e7901f02d69d36657e45fa
Description-en: theorem prover from Microsoft Research
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.
Description-md5: a6bd00235e73a905421a3205528956bc
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu