How to Install and Uninstall libz3-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: December 23,2024

1. Install "libz3-dev" package

Learn how to install libz3-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-dev
            
                    
    
    Copied

2. Uninstall "libz3-dev" package

Learn how to uninstall libz3-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libz3-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libz3-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 17016
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Source: z3
Version: 4.4.0-5
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libgomp1 (>= 4.9), libstdc++6 (>= 5.2)
Filename: pool/universe/z/z3/libz3-dev_4.4.0-5_amd64.deb
Size: 5311238
MD5sum: 35484f00b85bd00cc5818d23919f7438
SHA1: d4facfc726aa783c211ca043ba9a6aaa06d3d1af
SHA256: 7137ee1f254dfeeeee346e8af33b88f1a52e1a7c952bf5ad28392e85f4ae6466
Description-en: theorem prover from Microsoft Research - development files
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
This package can be used to invoke Z3 via its C++ API.
Description-md5: dc81d51d606e62b66bd716ab76d0526a
Multi-Arch: same
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu