Package - libcvc4parser7
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cvc4/libcvc4parser7_1.8-3+b4_amd64.deb (Size: 373.2KiB)| Property | Value |
|---|---|
| Package | libcvc4parser7 |
| Source | cvc4 (1.8-3) |
| Version | 1.8-3+b4 |
| Installed-Size | 2699 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) |
| Description | automated theorem prover for SMT problems (parser runtime) |
| Description-md5 | 41ac21a6409f50acd2200935984059a6 |
| Multi-Arch | same |
| Homepage | https://cvc4.github.io/ |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/c/cvc4/libcvc4parser7_1.8-3+b4_amd64.deb |
| Size | 382200 |
| MD5sum | f48bcee76b07a6ddbc2a84938d3718fd |
| SHA256 | f6b4fc306fba22aad88db7e1f59b1dd4cf3f4262d388a154158a7eec7d7355ec |
Files in package
- /usr/lib/x86_64-linux-gnu/libcvc4parser.so.7
- /usr/share/doc/libcvc4parser7/AUTHORS
- /usr/share/doc/libcvc4parser7/NEWS.gz
- /usr/share/doc/libcvc4parser7/THANKS
- /usr/share/doc/libcvc4parser7/changelog.Debian.amd64.gz
- /usr/share/doc/libcvc4parser7/changelog.Debian.gz
- /usr/share/doc/libcvc4parser7/copyright