Package: cvc5
Architecture: amd64
Version: 1.1.2-1build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 398
Depends: libcvc5-1 (= 1.1.2-1build1), libcvc5parser1 (= 1.1.2-1build1), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/cvc5_1.1.2-1build1_amd64.deb
Size: 95604
MD5sum: b4dbba6d09e5b1b78897609d80942c61
SHA1: bdbda8226c6860f179cfc3ea2203722e3245137d
SHA256: bdce3b2438a923590cd700dad817a83a718f743a1ae07bacd5f64934f16ea30f
SHA512: c0f681d62372fbc47decb4bae8597b518cc1b85b1e3404da914be888812a6a2308173238d93e385d322104037436a5eb986ff093ea09595c7b00aabf7cbdb22c
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6