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

Last updated: December 24,2024

1. Install "z3" package

This tutorial shows how to install z3 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                z3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: z3
Architecture: amd64
Version: 4.8.12-3.1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: LLVM Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15671
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Filename: pool/universe/z/z3/z3_4.8.12-3.1_amd64.deb
Size: 5859492
MD5sum: e134a90f23f7796466b1e36413eb4839
SHA1: adaffe74da6cb8997e93819cc3684b5e6d5f9311
SHA256: c870ab1ae93d2e4cb6fd1f00fef55b09ef9d41deb62317f8b5f28d022e4f9a2a
SHA512: 4e8758240aff03d756a064ed40088b913f519817afc4a581413db6a8f694d14298fe64a758892ffd5ac1a4f668c78164e17288e24351e7e33e4b5d76d355304d
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research
Description-md5: b7964a14a42d323bd19347c2df64d599