How to Install and Uninstall cvc4 Package on Kali Linux

Last updated: May 17,2024

1. Install "cvc4" package

This is a short guide on how to install cvc4 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc4
            
                    
    
    Copied

2. Uninstall "cvc4" package

Please follow the guidance below to uninstall cvc4 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc4
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc4 package on Kali Linux

Package: cvc4
Source: cvc4 (1.8-3)
Version: 1.8-3+b1
Installed-Size: 292
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc4-7 (= 1.8-3+b1), libcvc4parser7 (= 1.8-3+b1), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 13.1)
Size: 82600
SHA256: 5ed3db4688412319e7c7fca680d69bfac2b93e5474f36da6a27b01d8d5980db9
SHA1: eab5f955b23115715d115d8bc19cf1b9651a647a
MD5sum: 54b1b01c86cfd960112fed81fd02502c
Description: automated theorem prover for SMT problems
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 binaries needed to use CVC4 as a stand-alone
tool.
Description-md5:
Homepage: https://cvc4.github.io/
Section: math
Priority: optional
Filename: pool/main/c/cvc4/cvc4_1.8-3+b1_amd64.deb