How to Install and Uninstall cvc4 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 17,2024

1. Install "cvc4" package

Please follow the guidance below to install cvc4 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc4
            
                    
    
    Copied

2. Uninstall "cvc4" package

Learn how to uninstall cvc4 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc4
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc4 package on Ubuntu 23.10 (Mantic Minotaur)

Package: cvc4
Architecture: amd64
Version: 1.8-3
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 278
Depends: libcvc4-7 (= 1.8-3), libcvc4parser7 (= 1.8-3), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.3.1), libreadline8 (>= 6.0), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc4/cvc4_1.8-3_amd64.deb
Size: 74530
MD5sum: a0bd30dad977657bac39c00eb64dfc66
SHA1: bd4a0d288ed5c6b0204fa8dbbf902ce253350ada
SHA256: 4798eb1f049273d1065c2a52d8adcec0d276e8c8c601baf2311bbae77497cc26
SHA512: 0f2794a184b3e9bbd8531e190ae4cd1c17a71b859b7ed2958b61ca50cf29260b19aa1a0f6fb53f6fd369c2d73dba0274327005702fe2a5682611101d50bce012
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b