How to Install and Uninstall libcvc4-5 Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 20,2024

1. Install "libcvc4-5" package

Please follow the instructions below to install libcvc4-5 on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-5
            
                    
    
    Copied

2. Uninstall "libcvc4-5" package

This guide covers the steps necessary to uninstall libcvc4-5 on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-5 package on Ubuntu 20.04 LTS (Focal Fossa)

Package: libcvc4-5
Architecture: amd64
Version: 1.6-2build2
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: 15974
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libstdc++6 (>= 9)
Filename: pool/universe/c/cvc4/libcvc4-5_1.6-2build2_amd64.deb
Size: 4512744
MD5sum: c11cffaba5e4efdf26932abd8b525a48
SHA1: 6c6cbb7407eddb09dcf6d723c84259a8dda7f050
SHA256: 4aabdc1af670cf22802b1800e049af153e3253d57a155a8f83160e303d116d51
Homepage: http://cvc4.cs.stanford.edu/web/
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8