How to Install and Uninstall python-z3 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 21,2024

1. Install "python-z3" package

Please follow the guidance below to install python-z3 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python-z3
            
                    
    
    Copied

2. Uninstall "python-z3" package

Learn how to uninstall python-z3 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python-z3 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: python-z3
Architecture: amd64
Version: 4.4.1-0.3build4
Multi-Arch: same
Priority: extra
Section: universe/python
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 541
Depends: libz3-dev (= 4.4.1-0.3build4), python:any (<< 2.8), python:any (>= 2.7.5-5~)
Filename: pool/universe/z/z3/python-z3_4.4.1-0.3build4_amd64.deb
Size: 67040
MD5sum: e21e19ab6b4e80d0edb5058ef0f1ce6e
SHA1: e8136505bc21515719ded9b010e017b5b348a593
SHA256: b50d5345cfb2ac26a13837ba05ab8bd52aca6b450a897f9e997322b22ee994e0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python bindings
Description-md5: e83dc748efc5bac8845fdd9aae7cceee