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

Last updated: November 07,2024

1. Install "cvc5" package

This guide let you learn how to install cvc5 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc5
            
                    
    
    Copied

2. Uninstall "cvc5" package

This guide let you learn how to uninstall cvc5 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: cvc5
Architecture: amd64
Version: 1.0.5-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: 347
Depends: libcvc5-1 (= 1.0.5-3), libcvc5parser1 (= 1.0.5-3), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc5/cvc5_1.0.5-3_amd64.deb
Size: 90332
MD5sum: d78ee4eca0f0373bba1426aa608e3ea5
SHA1: 162b224da168db1f39768a8c1382c1fd0c57af11
SHA256: dfca2a58feda13bd9c2329ee0ceaff032c8c04ccf9c0f6a16032daebb8906e69
SHA512: 629ded8b1b5ea3c2c9a61995b54bc9595a5abc0f513b04ef78fe7abe2d6f496ef2d75ac7da7b3f5833a221c3bc622f0603a887c34ed53e86b41dac18954d3d3a
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6