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

Last updated: February 24,2025

1. Install "libcvc4-7" package

Please follow the guidance below to install libcvc4-7 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-7
            
                    
    
    Copied

2. Uninstall "libcvc4-7" package

Please follow the guidance below to uninstall libcvc4-7 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc4-7
Source: cvc4 (1.8-3)
Version: 1.8-3+b1
Installed-Size: 23761
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.32), libcln6, libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 5991768
SHA256: 4ea925e3041a0bd5e68748d7c641e67e755a7a5c12998987dc564185fea8fc87
SHA1: 17c45354bd47185cd6f480a20d726c43cc1ede7c
MD5sum: 4f3a4da624675a591b98b4e57561aed7
Description: automated theorem prover for SMT problems (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 CVC4's runtime shared libraries.
Description-md5:
Multi-Arch: same
Homepage: https://cvc4.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4-7_1.8-3+b1_amd64.deb