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

Last updated: November 22,2024

1. Install "libcvc3-dev" package

Please follow the guidelines below to install libcvc3-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc3-dev
            
                    
    
    Copied

2. Uninstall "libcvc3-dev" package

This tutorial shows how to uninstall libcvc3-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc3-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc3-dev
Architecture: amd64
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/libdevel
Source: cvc3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Morgan Deters
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 825
Depends: libcvc3-5v5 (= 2.4.1-5.1ubuntu1)
Breaks: libcvc3-2-dev, libcvc3-5-dev
Replaces: libcvc3-2-dev, libcvc3-5-dev
Filename: pool/universe/c/cvc3/libcvc3-dev_2.4.1-5.1ubuntu1_amd64.deb
Size: 141862
MD5sum: b17d523cec502484623873f850e7fbe3
SHA1: 6931560270710f01a7bccc2b5222a2cde78d7549
SHA256: 3e7fb103289e4b421e36531c9de89abc4b66ac43e114cd2e59b12efb2d568710
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover library for SMT problems (development files)
Description-md5: 0073aea651f8bf1553c64d937a725843