Package - cvc5
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cvc5/cvc5_1.1.2-2+b3_amd64.deb (Size: 106.6KiB)| Property | Value |
|---|---|
| Package | cvc5 |
| Source | cvc5 (1.1.2-2) |
| Version | 1.1.2-2+b3 |
| Installed-Size | 459 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libcvc5-1 (= 1.1.2-2+b3), libcvc5parser1 (= 1.1.2-2+b3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) |
| Description | automated theorem prover for SMT problems |
| Description-md5 | d1e715b2658513dcf601c320616177f6 |
| Homepage | https://cvc5.github.io/ |
| Section | math |
| Priority | optional |
| Filename | pool/main/c/cvc5/cvc5_1.1.2-2+b3_amd64.deb |
| Size | 109176 |
| MD5sum | 26e2002048b8a79d6c169dfa03ad335c |
| SHA256 | a63f84506961a0f6dbe3fc7c734291a837285336430c48baa97e439f0e9c4eba |
Files in package
- /usr/bin/cvc5
- /usr/share/doc/cvc5/AUTHORS
- /usr/share/doc/cvc5/NEWS.md.gz
- /usr/share/doc/cvc5/THANKS
- /usr/share/doc/cvc5/changelog.Debian.amd64.gz
- /usr/share/doc/cvc5/changelog.Debian.gz
- /usr/share/doc/cvc5/copyright