How to Install and Uninstall libcvc4-dev Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 19,2024

1. Install "libcvc4-dev" package

In this section, we are going to explain the necessary steps to install libcvc4-dev on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-dev
            
                    
    
    Copied

2. Uninstall "libcvc4-dev" package

This guide covers the steps necessary to uninstall libcvc4-dev on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-dev package on Ubuntu 21.04 (Hirsute Hippo)

Package: libcvc4-dev
Architecture: amd64
Version: 1.8-2
Priority: optional
Section: universe/libdevel
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 831
Depends: libcvc4-7 (= 1.8-2), libcvc4parser7 (= 1.8-2), libgmp-dev
Filename: pool/universe/c/cvc4/libcvc4-dev_1.8-2_amd64.deb
Size: 123212
MD5sum: 5cfb2591578980064e694ac176a87b20
SHA1: ca8a9b0051ed2b393a659879bbaaeb128e82c7e8
SHA256: 2475ef073a65971322b63eb86838b2088cb32226aa719f5021e1393ef2a7ac48
SHA512: 36d695c0cff88d6d6fa65d641e02d4da31cb4a8f11e937c574c9feb5059f74f218f033f699e8fd85c73035129f5d3efceff31470dbc2a02fb434343edfd0c199
Homepage: https://cvc4.github.io/
Description-en: automated theorem prover for SMT problems (development files)
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 development files for CVC4. Install it if you
want to develop applications that use CVC4's API.
Description-md5: f7eec8184f4f2011119ce7723ddf8cd5