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

Last updated: May 12,2024

1. Install "libz3-java" package

Please follow the instructions below to install libz3-java on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-java
            
                    
    
    Copied

2. Uninstall "libz3-java" package

Please follow the guidance below to uninstall libz3-java on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-java
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libz3-java
Priority: extra
Section: universe/java
Installed-Size: 157
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: all
Source: z3
Version: 4.4.0-5
Depends: libz3-jni (>= 4.4.0-5), libz3-jni (<< 4.4.0-5.1~), libz3-dev
Filename: pool/universe/z/z3/libz3-java_4.4.0-5_all.deb
Size: 137208
MD5sum: aa14f591eba140610b79219e4f18dd0e
SHA1: e83cf71df9265c6ed3f8f0ac13d946061f56d9ac
SHA256: d82a89855714a292413857cd93a94f46ce87f1c3ad17caef04d37235b6e73257
Description-en: theorem prover from Microsoft Research - java bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Java API.
Description-md5: 44bfca0bbae34bef41c3d87f6522222e
Multi-Arch: foreign
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu