How to Install and Uninstall libcvc4-7 Package on Debian 12 (Bookworm)

Last updated: January 11,2025

You can also install and uninstall the libcvc4-7 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcvc4-7" package

This is a short guide on how to install libcvc4-7 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-7
            
                    
    
    Copied

2. Uninstall "libcvc4-7" package

This tutorial shows how to uninstall libcvc4-7 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-7 package on Debian 12 (Bookworm)

Package: libcvc4-7
Source: cvc4
Version: 1.8-3
Installed-Size: 23663
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.32), libcln6, libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8
Multi-Arch: same
Homepage: https://cvc4.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4-7_1.8-3_amd64.deb
Size: 5936792
MD5sum: 150b2aefffcb46fcddc5061c4011ca1b
SHA256: b0a097015c05b32882ee87bf40ab89d8949c72341301e0ea90b14b853cc94f04