How to Install and Uninstall libcvc4-dev Package on Kali Linux

Last updated: May 18,2024

1. Install "libcvc4-dev" package

Learn how to install libcvc4-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-dev
            
                    
    
    Copied

2. Uninstall "libcvc4-dev" package

Please follow the step by step instructions below to uninstall libcvc4-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-dev package on Kali Linux

Package: libcvc4-dev
Source: cvc4 (1.8-3)
Version: 1.8-3+b1
Installed-Size: 832
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc4-7 (= 1.8-3+b1), libcvc4parser7 (= 1.8-3+b1), libgmp-dev
Size: 131432
SHA256: 8a02244b2548e84c3f41afc54aaadb0ec5f95ef1a414643cbf801ee7b218d2c3
SHA1: 6f983d896367ba01b97fc293a4d96bc57cacd5c0
MD5sum: 70563ded7d845c46e65f64fd94ee47aa
Description: 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:
Homepage: https://cvc4.github.io/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cvc4/libcvc4-dev_1.8-3+b1_amd64.deb