How to Install and Uninstall python3-z3 Package on Debian 11 (Bullseye)

Last updated: May 15,2024

1. Install "python3-z3" package

Please follow the guidance below to install python3-z3 on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-z3
            
                    
    
    Copied

2. Uninstall "python3-z3" package

Learn how to uninstall python3-z3 on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-z3 package on Debian 11 (Bullseye)

Package: python3-z3
Source: z3
Version: 4.8.10-1
Installed-Size: 591
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libz3-dev (= 4.8.10-1), python3-pkg-resources, python3:any
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: 1151d82b62ff9e325677d3c6fc0e262a
Homepage: https://github.com/Z3Prover/z3
Section: python
Priority: optional
Filename: pool/main/z/z3/python3-z3_4.8.10-1_amd64.deb
Size: 78104
MD5sum: 5697ba4c7be44c479643bd1ae61ae0b0
SHA256: e89e84a48c36b5e1da9bd6c19298715d448a2203c477d528fa840979685384c8