How to Install and Uninstall libcvc5parser1 Package on Kali Linux

Last updated: November 27,2024

1. Install "libcvc5parser1" package

Here is a brief guide to show you how to install libcvc5parser1 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5parser1
            
                    
    
    Copied

2. Uninstall "libcvc5parser1" package

Please follow the instructions below to uninstall libcvc5parser1 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5parser1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5parser1 package on Kali Linux

Package: libcvc5parser1
Source: cvc5
Version: 1.1.1-1
Installed-Size: 788
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.32), libcvc5-1 (>= 1.1.1), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 231856
SHA256: 0218df69b294c85e236acefc996462e284212b6ba9ac92e51f5c8a610ffdcdbd
SHA1: c18a9714ae1b2a2cd812827b7992b9efe258cf70
MD5sum: 88c0c2713601445ec9e95f05d877753e
Description: automated theorem prover for SMT problems (parser runtime)
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 runtime shared libraries for cvc5's parser.
Description-md5:
Multi-Arch: same
Homepage: https://cvc5.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc5/libcvc5parser1_1.1.1-1_amd64.deb