How to Install and Uninstall python3-cvc5 Package on Kali Linux

Last updated: October 05,2024

1. Install "python3-cvc5" package

This tutorial shows how to install python3-cvc5 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-cvc5
            
                    
    
    Copied

2. Uninstall "python3-cvc5" package

This tutorial shows how to uninstall python3-cvc5 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-cvc5 package on Kali Linux

Package: python3-cvc5
Source: cvc5
Version: 1.1.1-1
Installed-Size: 1495
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: python3 (<< 3.12), python3 (>= 3.11~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.1), libcvc5parser1 (>= 1.1.1), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 324272
SHA256: 96c6a69e5279ccad7db1e0bb59d055ecaf57800e72e3b6857873693cdb485a1a
SHA1: 8519431d357c20c3399df17daf6fcaa7c87bf9dc
MD5sum: 5509bb0d70cee672d2b576f5cb783d1f
Description: automated theorem prover for SMT problems (Python bindings)
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 the Python bindings for cvc5's parser.
Description-md5:
Homepage: https://cvc5.github.io/
Section: math
Priority: optional
Filename: pool/main/c/cvc5/python3-cvc5_1.1.1-1_amd64.deb