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

Last updated: November 21,2024

1. Install "libcvc4parser7" package

Please follow the instructions below to install libcvc4parser7 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4parser7
            
                    
    
    Copied

2. Uninstall "libcvc4parser7" package

Please follow the guidelines below to uninstall libcvc4parser7 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4parser7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc4parser7
Architecture: amd64
Version: 1.8-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2586
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc4/libcvc4parser7_1.8-3_amd64.deb
Size: 379068
MD5sum: 4f1edcfe8505a1cf802efef7c38e8a3e
SHA1: d7ec90c9cb013bbda41623f0c077a8cc9b95f60b
SHA256: 07796d33fcc409a6f3bbba98ec0ec6f85bf5b1e3ec126ae3537be0e5e3afa24b
SHA512: 5635d0af6c9125fb0c17ace4f6735d77810c7e03ac16cc7451909a979cc144890b368f099db5008fc871e63404d675d19aed4210058cd9ad21259592374bdfc3
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6