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

Last updated: November 26,2024

1. Install "python3-cvc5" package

Please follow the step by step instructions below to install python3-cvc5 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-cvc5
            
                    
    
    Copied

2. Uninstall "python3-cvc5" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: python3-cvc5
Architecture: amd64
Version: 1.1.2-1
Priority: optional
Section: universe/math
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1541
Depends: python3 (<< 3.13), python3 (>= 3.12~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.1.2), libcvc5parser1 (>= 1.1.2), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/python3-cvc5_1.1.2-1_amd64.deb
Size: 346932
MD5sum: e330b0d0b51bd25bc5b7ba390d46b04d
SHA1: a09f84f96acb7b5ee009221401bf32d27893745b
SHA256: f8f912a7a0117ad9833ade8c633d8c2bb25a50b1c5ffd629de8785aeb7cf22b9
SHA512: 4e6b2a42522e0fa0a4b552865e6eaa657b3e60082d264ff1f25a19364f794849616e095cdc3b75f8c361e1d0a459b936225ae6cb324725a98bb21f3a45c79d34
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (Python bindings)
Description-md5: fd44bb6c2829474adf4e1656c846c672