How to Install and Uninstall python3-z3 Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 15,2024

1. Install "python3-z3" package

This guide let you learn how to install python3-z3 on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-z3
            
                    
    
    Copied

2. Uninstall "python3-z3" package

Please follow the guidelines below to uninstall python3-z3 on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-z3 package on Ubuntu 20.10 (Groovy Gorilla)

Package: python3-z3
Architecture: amd64
Version: 4.8.8-1
Priority: optional
Section: universe/python
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 581
Depends: libz3-dev (= 4.8.8-1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.8-1_amd64.deb
Size: 76756
MD5sum: fed5f67d54c31c7208bde98de5e43a1d
SHA1: b073ffe688e380e402097d269603b324016734ac
SHA256: 0e6ba02f0128dd4e4fb4a6f94db7b98887a3b417587302bd0babb832f380c941
SHA512: 032aae926de0dd74375544dae7df76405ce5c5169307c3a5e83e234c59e871249c667ed126cb6e7759ab239fac9d68aed3db14d63e5f3105f84d22ffe7cdda37
Homepage: https://github.com/Z3Prover/z3
Description-en: theorem prover from Microsoft Research - Python 3 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 3 API.
Description-md5: 1151d82b62ff9e325677d3c6fc0e262a