How to Install and Uninstall libcvc3-5v5 Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: January 11,2025

1. Install "libcvc3-5v5" package

This tutorial shows how to install libcvc3-5v5 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc3-5v5
            
                    
    
    Copied

2. Uninstall "libcvc3-5v5" package

This is a short guide on how to uninstall libcvc3-5v5 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc3-5v5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc3-5v5 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libcvc3-5v5
Architecture: amd64
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/libs
Source: cvc3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Morgan Deters
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6048
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2)
Conflicts: libcvc3-5
Replaces: libcvc3-5
Filename: pool/universe/c/cvc3/libcvc3-5v5_2.4.1-5.1ubuntu1_amd64.deb
Size: 1773096
MD5sum: a6d675def1d3be1294fc4c5b24dcc3fc
SHA1: 0e70fd2fd1364fffa93b3ded1ab6ff5ceaec3aae
SHA256: bb1291de13bd2d2181dc5ad2ff4face501cd901e0f2db8a3a75ca79faf09346b
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover library for SMT problems
Description-md5: 0a950a6788f9bc806b6b78660ac3f615