How to Install and Uninstall cvc5 Package on Kali Linux

Last updated: November 23,2024

1. Install "cvc5" package

Please follow the guidance below to install cvc5 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc5
            
                    
    
    Copied

2. Uninstall "cvc5" package

Please follow the step by step instructions below to uninstall cvc5 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc5 package on Kali Linux

Package: cvc5
Version: 1.1.1-1
Installed-Size: 441
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc5-1 (= 1.1.1-1), libcvc5parser1 (= 1.1.1-1), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 109188
SHA256: 979639d36c21f25b51f9eeedbfef752b5b144eb2b62f08f3d5eb72bbb9652430
SHA1: e6d743cc1fa078481282da740e455d62f15c9761
MD5sum: b96e5e76698c3cc13d34e7b5f8dc5c9f
Description: automated theorem prover for SMT problems
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
.
cvc5 is intended to be an open and extensible SMT engine. It can be used as a
stand-alone tool or as a library. It has been designed to increase the
performance and reduce the memory overhead of its predecessors. It is written
entirely in C++ and is released under an open-source software license.
.
This package contains binaries needed to use cvc5 as a stand-alone
tool.
Description-md5:
Homepage: https://cvc5.github.io/
Section: math
Priority: optional
Filename: pool/main/c/cvc5/cvc5_1.1.1-1_amd64.deb