How to Install and Uninstall python3-z3 Package on Debian 12 (Bookworm)

Last updated: September 20,2024

You can also install and uninstall the python3-z3 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "python3-z3" package

This guide covers the steps necessary to install python3-z3 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-z3
            
                    
    
    Copied

2. Uninstall "python3-z3" package

Here is a brief guide to show you how to uninstall python3-z3 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-z3 package on Debian 12 (Bookworm)

Package: python3-z3
Source: z3
Version: 4.8.12-3.1
Installed-Size: 595
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libz3-dev (= 4.8.12-3.1), python3-pkg-resources, python3:any
Description: theorem prover from Microsoft Research - Python 3 bindings
Description-md5: ff39c43b5aa03e0f4d3cb36b2cb98a3c
Homepage: https://github.com/Z3Prover/z3
Section: python
Priority: optional
Filename: pool/main/z/z3/python3-z3_4.8.12-3.1_amd64.deb
Size: 78304
MD5sum: 001163b00345eaf4e0137f11ef311377
SHA256: 7535274ae66e77c53385e6f55e2a83299a16d217cb27e4d87ca04635d6d9624a