How to Install and Uninstall libcvc4parser7 Package on Kali Linux

Last updated: May 19,2024

1. Install "libcvc4parser7" package

Please follow the guidelines below to install libcvc4parser7 on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4parser7
            
                    
    
    Copied

2. Uninstall "libcvc4parser7" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4parser7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4parser7 package on Kali Linux

Package: libcvc4parser7
Source: cvc4 (1.8-3)
Version: 1.8-3+b1
Installed-Size: 2647
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 365776
SHA256: 950b7aea52d9db0a0a9896c57b3a7ce9a30a876f2a0d230b12002a8cfed79590
SHA1: 9e41f1315537761a5e9d0dd05b4d95163430a4cc
MD5sum: 585eed43d32bda7dc8152bb4d468bbac
Description: automated theorem prover for SMT problems (parser 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 runtime shared libraries for CVC4's parser.
Description-md5:
Multi-Arch: same
Homepage: https://cvc4.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4parser7_1.8-3+b1_amd64.deb