How to Install and Uninstall cvc4 Package on Linux Mint 21 (Vanessa)

Last updated: December 25,2024

1. Install "cvc4" package

In this section, we are going to explain the necessary steps to install cvc4 on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc4
            
                    
    
    Copied

2. Uninstall "cvc4" package

Learn how to uninstall cvc4 on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc4
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc4 package on Linux Mint 21 (Vanessa)

Package: cvc4
Architecture: amd64
Version: 1.8-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 295
Depends: libcvc4-7 (= 1.8-2), libcvc4parser7 (= 1.8-2), libc6 (>= 2.14), libcln6, libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5.2)
Filename: pool/universe/c/cvc4/cvc4_1.8-2_amd64.deb
Size: 73336
MD5sum: de9c17f1987614601057072a4dc30d65
SHA1: 96607bfb032bd135dd4d5a690b9da593d4bc4bab
SHA256: 42bd5d22083c3baa2acd7d254c778274f5392099be0c3057203a850da8694a90
SHA512: 5892a06fc442c1ed2ddc3bec78fe5d9213942a7a592b35aa1c41dbd2c7400b36ee2fe6bf4ada8535c95d6d16188708ef924b671f0a71db88e8b85d201e2f4932
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b