Package: cvc4
Architecture: amd64
Version: 1.8-2
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: 295
Depends: libcvc4-7 (= 1.8-2), libcvc4parser7 (= 1.8-2), libc6 (>= 2.14), libcln6, libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5.2)
Filename: pool/universe/c/cvc4/cvc4_1.8-2_amd64.deb
Size: 73336
MD5sum: de9c17f1987614601057072a4dc30d65
SHA1: 96607bfb032bd135dd4d5a690b9da593d4bc4bab
SHA256: 42bd5d22083c3baa2acd7d254c778274f5392099be0c3057203a850da8694a90
SHA512: 5892a06fc442c1ed2ddc3bec78fe5d9213942a7a592b35aa1c41dbd2c7400b36ee2fe6bf4ada8535c95d6d16188708ef924b671f0a71db88e8b85d201e2f4932
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b