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

Last updated: December 29,2024

1. Install "z3" package

Please follow the instructions below to install z3 on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                z3
            
                    
    
    Copied

2. Uninstall "z3" package

Please follow the step by step instructions below to uninstall z3 on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: z3
Version: 4.8.10-1
Installed-Size: 22428
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libc6 (>= 2.30), libgcc-s1 (>= 3.4), libstdc++6 (>= 9)
Description: theorem prover from Microsoft Research
Description-md5: a6bd00235e73a905421a3205528956bc
Homepage: https://github.com/Z3Prover/z3
Section: science
Priority: optional
Filename: pool/main/z/z3/z3_4.8.10-1_amd64.deb
Size: 6966116
MD5sum: fbecfa3fd25fd87101863b899cf5c01f
SHA256: 86bac76a2643b6f319730ce632f79c8e34769c76f7ff78b00989d8a78346daf1