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

Last updated: May 18,2024

1. Install "python3-cvc5" package

Please follow the step by step instructions below to install python3-cvc5 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-cvc5
            
                    
    
    Copied

2. Uninstall "python3-cvc5" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: python3-cvc5
Architecture: amd64
Version: 1.0.5-3
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: 1030
Depends: python3 (<< 3.12), python3 (>= 3.11~), python3:any, libc6 (>= 2.32), libcvc5-1 (>= 1.0.5), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc5/python3-cvc5_1.0.5-3_amd64.deb
Size: 245226
MD5sum: 08a0bf5c0e039c3bca8f6c18313b9da3
SHA1: 9b7431ee4f29af2e708f78b46d344e02825f181a
SHA256: 583bf92ec649133234eeb333ae79424e71fc2a83ed8234c037b70c7c78ce8953
SHA512: b422c04a6fd081f8078f7639e9ed0d2906583615a5746507e3d10d8e703d97673485f099045adc2b3dfe25a68d7ed003ca7d211d99652ae441797dd40eac0f36
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (Python bindings)
Description-md5: fd44bb6c2829474adf4e1656c846c672