Package - libcvc5-1
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cvc5/libcvc5-1_1.1.2-2+b3_amd64.deb (Size: 6.4MiB)| Property | Value |
|---|---|
| Package | libcvc5-1 |
| Source | cvc5 (1.1.2-2) |
| Version | 1.1.2-2+b3 |
| Installed-Size | 25138 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libcln6, libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 14) |
| Description | automated theorem prover for SMT problems (runtime) |
| Description-md5 | b803697ab6597bb2d26e0959f1764779 |
| Multi-Arch | same |
| Homepage | https://cvc5.github.io/ |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/c/cvc5/libcvc5-1_1.1.2-2+b3_amd64.deb |
| Size | 6682620 |
| MD5sum | 5b2d6067eccdd5178ff63ccd7dad4c14 |
| SHA256 | e4103119e48758b0a0f0aa4b4cd95f6ff656ce35585b6a7fce77a365568f5057 |
Files in package
- /usr/lib/x86_64-linux-gnu/libcvc5.so.1
- /usr/share/doc/libcvc5-1/AUTHORS
- /usr/share/doc/libcvc5-1/NEWS.md.gz
- /usr/share/doc/libcvc5-1/THANKS
- /usr/share/doc/libcvc5-1/changelog.Debian.amd64.gz
- /usr/share/doc/libcvc5-1/changelog.Debian.gz
- /usr/share/doc/libcvc5-1/copyright