How to Install and Uninstall python3-z3 Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 07,2024

1. Install "python3-z3" package

Please follow the guidelines below to install python3-z3 on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                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 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-z3 package on Ubuntu 22.10 (Kinetic Kudu)

Package: python3-z3
Architecture: amd64
Version: 4.8.12-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: 595
Depends: libz3-dev (= 4.8.12-1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.12-1_amd64.deb
Size: 79904
MD5sum: 6d13dee6a57e45eaa325a52d22b126af
SHA1: 3b30d6efc71588c68a7cfd30a926fb019fbc7d64
SHA256: 6b10b97ba780a614031c2cdde369bec01d885dcc19be60061c125d63bdf55923
SHA512: efb969af19b258a7e3a864b0ce0bd956dd4ee3a4cc549a994c3baaf129a5c4ed6026ddf443dc76c54ec1d9b2ece3dd6e1c80545a13d846640cbf7f3cea943b7d
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: 1151d82b62ff9e325677d3c6fc0e262a