How to Install and Uninstall python3-z3 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "python3-z3" package

Learn how to install python3-z3 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-z3
            
                    
    
    Copied

2. Uninstall "python3-z3" package

Learn how to uninstall python3-z3 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-z3 package on Ubuntu 23.10 (Mantic Minotaur)

Package: python3-z3
Architecture: amd64
Version: 4.8.12-3.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-3.1), python3-pkg-resources, python3:any
Filename: pool/universe/z/z3/python3-z3_4.8.12-3.1_amd64.deb
Size: 79808
MD5sum: aec82c92bc505851cfc681e086a39f2b
SHA1: 5b6428584e76fea0a18c1930654c8f510a26d99d
SHA256: 45f3274861a0b3c6243d10566f5707dfec7239f1a7c0800624eb6dd34f764661
SHA512: 4cd863f366a15cd51ffc83b73c572ddafe01f97c06373920afdd248b0e5eba77a9209c5559fd6417a2c8f7f86fb332869715a053da22cb7eb153b150384d01d0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c