Complete Guide: Installing cvc3 on Ubuntu 18.04 LTS (Bionic Beaver) 2024

1. Install "cvc3" package

Here is a brief guide to show you how to install cvc3 on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc3
            
                    
    
    Copied

2. Uninstall "cvc3" package

In this section, we are going to explain the necessary steps to uninstall cvc3 on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc3 package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: cvc3
Architecture: amd64
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Morgan Deters
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 61
Depends: libc6 (>= 2.14), libcvc3-5v5 (>= 2.4.1), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Filename: pool/universe/c/cvc3/cvc3_2.4.1-5.1ubuntu1_amd64.deb
Size: 18472
MD5sum: eb847f111437935dea6941d8ea352b86
SHA1: b5712fa2d45866b3ae92c933fef11181e2b7051b
SHA256: 79a213991b9550085f72d46c2e30690ffc6e79e17b7d1e2b1c94c1f11e624bc8
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover for SMT problems
Description-md5: 5357abc7a4e419d892ffbd736a2fb3ee