How to Install and Uninstall libcvc4-7 Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 23,2024

1. Install "libcvc4-7" package

Please follow the guidelines below to install libcvc4-7 on Ubuntu 24.04 LTS (Noble Numbat)

$ sudo apt update $ sudo apt install libcvc4-7

2. Uninstall "libcvc4-7" package

This guide covers the steps necessary to uninstall libcvc4-7 on Ubuntu 24.04 LTS (Noble Numbat):

$ sudo apt remove libcvc4-7 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libcvc4-7 package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcvc4-7
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: 14823
Depends: libc6 (>= 2.32), libcln6, libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc4/libcvc4-7_1.8-3_amd64.deb
Size: 4765516
MD5sum: 643138f731192f9497d7119e22e2e192
SHA1: 6ba1531728e489036b092857e131c9721e311f5b
SHA256: 7023bf5f9d92c11d5ada19de6ad350ffadc0bfab118a220195de8745c0ce4c4f
SHA512: 9b4333cb4ddb8b27b86c999a9bdf715822631f0f58bddf50871ceca2274ff35f38a03b828f8a966bce802d3a252068f7fbcd699017c46043620f3fc44afa4d57
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8