How to Install and Uninstall cvc5 Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 17,2024

1. Install "cvc5" package

Here is a brief guide to show you how to install cvc5 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc5
            
                    
    
    Copied

2. Uninstall "cvc5" package

In this section, we are going to explain the necessary steps to uninstall cvc5 on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc5 package on Ubuntu 24.04 LTS (Noble Numbat)

Package: cvc5
Architecture: amd64
Version: 1.1.2-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 398
Depends: libcvc5-1 (= 1.1.2-1), libcvc5parser1 (= 1.1.2-1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/cvc5_1.1.2-1_amd64.deb
Size: 95772
MD5sum: f95f92d8a3b045c6e40e70fec767909d
SHA1: 8d6bc97b936659f60078862b7e88ffb1a3affefb
SHA256: b2981321d28d724ac7670dd07a1a7c5390d28df0caaee759e3dca39a20dd5905
SHA512: 2b4f0153fb64acf938e56f4811890c2a0fc50c4ce7d7c10aaa90447e2fc5a0fc8e26d042568c527e3affdfab50c481a5367a38b9e37e9328d28b35dd3ed55d2d
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6