How to Install and Uninstall libcvc5-1 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "libcvc5-1" package

Please follow the instructions below to install libcvc5-1 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-1
            
                    
    
    Copied

2. Uninstall "libcvc5-1" package

Here is a brief guide to show you how to uninstall libcvc5-1 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5-1 package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcvc5-1
Architecture: amd64
Version: 1.0.5-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14230
Depends: libc6 (>= 2.33), libcln6, libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc5/libcvc5-1_1.0.5-3_amd64.deb
Size: 4793888
MD5sum: 4244038f890cefde4597aed7279a2fe1
SHA1: 480eee019b58d97400fa056cb56e1cab1afb70b9
SHA256: e61d49cb06b83ba77bd7a5574e82a51a586cd74bf432cad3abd99049fff971e6
SHA512: aa1d999b61bb565a854ced2c776524870911a7985bb030f088ed44835ecda9dd2f227ee483c8582b4c9d5ede092c049c210d85963ba8f86d266fd4ca48dfc295
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (runtime)
Description-md5: b803697ab6597bb2d26e0959f1764779