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

Last updated: November 26,2024

1. Install "libz3-cil" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libz3-cil
            
                    
    
    Copied

2. Uninstall "libz3-cil" package

In this section, we are going to explain the necessary steps to uninstall libz3-cil on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libz3-cil
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libz3-cil
Priority: extra
Section: universe/cli-mono
Installed-Size: 204
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), libmono-corlib4.5-cil (>= 3.2.8), libmono-system-numerics4.0-cil (>= 1.0)
Filename: pool/universe/z/z3/libz3-cil_4.4.0-5_amd64.deb
Size: 40156
MD5sum: f4f793539f4295e98a181198abdf364b
SHA1: 79081360d87ef4dbc9de7ff0eab3a0fe7ce34964
SHA256: 38163685cd626eff976ba76997a035bf48791114368f316096d6fc3364911c84
Description-en: theorem prover from Microsoft Research - CLI 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 .NET API.
Description-md5: 7757b1134bdbdb0096c6719d5a1df5f8
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu