Package - libcvc4-7
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cvc4/libcvc4-7_1.8-3+b4_amd64.deb (Size: 6.3MiB)| Property | Value |
|---|---|
| Package | libcvc4-7 |
| Source | cvc4 (1.8-3) |
| Version | 1.8-3+b4 |
| Installed-Size | 25565 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libcln6, libgcc-s1 (>= 3.0), libstdc++6 (>= 14) |
| 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+b4_amd64.deb |
| Size | 6616160 |
| MD5sum | 8a43ff818bb7698e3b92d424510a5902 |
| SHA256 | 6f71ed49f553256c2c3f527617cae76e7aefe27d10da99b75707892ed3a83ae5 |
Files in package
- /usr/lib/x86_64-linux-gnu/libcvc4.so.7
- /usr/share/doc/libcvc4-7/AUTHORS
- /usr/share/doc/libcvc4-7/NEWS.gz
- /usr/share/doc/libcvc4-7/THANKS
- /usr/share/doc/libcvc4-7/changelog.Debian.amd64.gz
- /usr/share/doc/libcvc4-7/changelog.Debian.gz
- /usr/share/doc/libcvc4-7/copyright