Package: cvc4
Architecture: amd64
Version: 1.8-3build2
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: 283
Depends: libcvc4-7 (= 1.8-3build2), libcvc4parser7 (= 1.8-3build2), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.3.1), libreadline8t64 (>= 6.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc4/cvc4_1.8-3build2_amd64.deb
Size: 75388
MD5sum: 1b6ea7adf496f33903e46d8373e88d02
SHA1: e674515852015f3e36328f409b655d9047d7542c
SHA256: 9c70a511bf39ae7a848658daa1a5af6a7daae9f5c1704ab6bdd1ece1e642f315
SHA512: eebe32a082ffed79c358fe7cf4bd5961a7d1c5bca945a25c784269b1f83438ab346ad1c2f8f4be28f8e556ed74a2a51425aa4c42e70c96da29d5b60c7fcc8399
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b