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

Last updated: May 18,2024

1. Install "python-z3" package

Please follow the guidelines below to install python-z3 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python-z3
            
                    
    
    Copied

2. Uninstall "python-z3" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: python-z3
Priority: extra
Section: universe/python
Installed-Size: 538
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), python:any (<< 2.8), python:any (>= 2.7.5-5~)
Filename: pool/universe/z/z3/python-z3_4.4.0-5_amd64.deb
Size: 66192
MD5sum: 8440dee61acff043717d1fb1afe0dfd8
SHA1: cb4d83ee871aa132d3050158c10848daab3ff693
SHA256: 25e824ae58e68043c3dd97b79df77109b52188c7e0ab802cf42c076f31f8f69d
Description-en: theorem prover from Microsoft Research - Python bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Python API.
Description-md5: e83dc748efc5bac8845fdd9aae7cceee
Multi-Arch: same
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu