Package: cvc4 Architecture: amd64 Version: 1.5-1 Priority: optional Section: universe/math Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 540 Depends: libcvc4-4 (= 1.5-1), libcvc4parser4 (= 1.5-1), libboost-system1.65.1, libboost-thread1.65.1, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libreadline7 (>= 6.0), libstdc++6 (>= 5.2) Filename: pool/universe/c/cvc4/cvc4_1.5-1_amd64.deb Size: 138624 MD5sum: ebbd028b92bf09a23ded3e2bf4832d9e SHA1: c7fd09975b0acbd7ba58599783c6d6a8cd930ac3 SHA256: 398d1d82998875b4fa4c515a2238513da96b3a4c09089e28e075f5f883da9601 Homepage: http://cvc4.cs.stanford.edu/web/ Description: automated theorem prover for SMT problems Description-md5: cfa2a5d59806f96ad49c7f5c046db97b