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

Last updated: May 12,2024

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

MX Linux 23
SparkyLinux

1. Install "z3" package

Here is a brief guide to show you how to install z3 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                z3
            
                    
    
    Copied

2. Uninstall "z3" package

Please follow the steps below to uninstall z3 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: z3
Version: 4.8.12-3.1
Installed-Size: 22799
Maintainer: LLVM Packaging Team
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Description: theorem prover from Microsoft Research
Description-md5: b7964a14a42d323bd19347c2df64d599
Homepage: https://github.com/Z3Prover/z3
Section: science
Priority: optional
Filename: pool/main/z/z3/z3_4.8.12-3.1_amd64.deb
Size: 7229996
MD5sum: e3849ca68a5f05b52f95d48972630a7f
SHA256: ea6f8b31e4ab7912b9293f7a8acbbc3b74f3c36162fa3ce578d6bf17d2164e53