How to Install and Uninstall cvc4 Package on Debian 12 (Bookworm)

Last updated: May 15,2024

You can also install and uninstall the cvc4 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "cvc4" package

Here is a brief guide to show you how to install cvc4 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc4
            
                    
    
    Copied

2. Uninstall "cvc4" package

Please follow the guidance below to uninstall cvc4 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc4
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc4 package on Debian 12 (Bookworm)

Package: cvc4
Version: 1.8-3
Installed-Size: 286
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc4-7 (= 1.8-3), libcvc4parser7 (= 1.8-3), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5.2)
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b
Homepage: https://cvc4.github.io/
Section: math
Priority: optional
Filename: pool/main/c/cvc4/cvc4_1.8-3_amd64.deb
Size: 80688
MD5sum: adf29af99754c2a90ebea64804e9000f
SHA256: 717a36fbfc5074fbb1a7e976b2f2e175b90d66d7606a399a51323931a3d94d05