How to Install and Uninstall libcvc4parser7 Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: November 07,2024

1. Install "libcvc4parser7" package

Learn how to install libcvc4parser7 on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4parser7
            
                    
    
    Copied

2. Uninstall "libcvc4parser7" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4parser7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4parser7 package on Ubuntu 21.04 (Hirsute Hippo)

Package: libcvc4parser7
Architecture: amd64
Version: 1.8-2
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: 2722
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.14), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.0), libstdc++6 (>= 9)
Filename: pool/universe/c/cvc4/libcvc4parser7_1.8-2_amd64.deb
Size: 357524
MD5sum: 4f93063fcf9e6dae2aaa2e31b8b40a0b
SHA1: 356477203e3415a76b0283efd520a91a816180a6
SHA256: 91ab11d48c7696bda2f97e365395ba566825303fdd87acbe8f2a92ddb0b43165
SHA512: 2449d7724947189db8078db49b6c91680baf20bcc0d0cca88eb567d2624435e3339376f28a98698b918f3eb82b140e7c419513cdf7e6267d43f52e103d46b267
Homepage: https://cvc4.github.io/
Description-en: automated theorem prover for SMT problems (parser runtime)
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 runtime shared libraries for CVC4's parser.
Description-md5: 41ac21a6409f50acd2200935984059a6