How to Install and Uninstall libcvc4-7 Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 22,2024

1. Install "libcvc4-7" package

Please follow the guidance below to install libcvc4-7 on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-7
            
                    
    
    Copied

2. Uninstall "libcvc4-7" package

Please follow the instructions below to uninstall libcvc4-7 on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-7 package on Ubuntu 20.10 (Groovy Gorilla)

Package: libcvc4-7
Architecture: amd64
Version: 1.8-2
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22948
Depends: libc6 (>= 2.29), libcln6, libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 9)
Filename: pool/universe/c/cvc4/libcvc4-7_1.8-2_amd64.deb
Size: 5659900
MD5sum: 900ad67d8d64cf67501f9f79fc753a81
SHA1: 73dcad9fceb81079676d59fa8ff60de0746d1477
SHA256: 7081cdd3c7a0b6c8157bea0fd22ef3ffd63b536dbae8d42b26b3c91ab76165a6
SHA512: b82110eea165f55f83f519b6c0c7c02e4424c26ad6bcfaf3b76387125d1391d9a132604dce27c1f70db24afd3c61a63195a2d3df3badbca49617bb75a71baa02
Homepage: https://cvc4.github.io/
Description-en: automated theorem prover for SMT problems (runtime)
CVC4 is an efficient automatic theorem prover for satisfiability
modulo theories (SMT) problems. It can be used to prove the validity
(or, dually, the satisfiability) of first-order formulas in a large
number of built-in logical theories and their combination.
.
CVC4 is intended to be an open and extensible SMT engine, and it can
be used as a stand-alone tool or as a library. It is the fourth in
the Cooperating Validity Checker family of tools (also including CVC,
CVC Lite and CVC3). CVC4 has been designed to increase the
performance and reduce the memory overhead of its predecessors.
.
This package contains CVC4's runtime shared libraries.
Description-md5: c40fc25141139d2bcef073340835fff8