Package: cvc4
Priority: optional
Section: universe/math
Installed-Size: 271
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.8-5
Depends: libcvc4-7 (= 1.8-5), libcvc4parser7 (= 1.8-5), libc6 (>= 2.34), libcln6, libgcc-s1 (>= 3.3.1), libreadline8t64 (>= 6.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc4/cvc4_1.8-5_amd64.deb
Size: 70364
MD5sum: cc2d467813dd95e0298b4d003ffc0f96
SHA1: 358a8e4f0828345f20d9a5ef9407cf844aaae4ee
SHA256: 3bcad028af31c2377027f58db1c9150566d0686500cf7b53e5f112ea1898761f
SHA512: 512d645db8473f89247fe85cf08011a4d16a3ac435f7a67c77871f2f60a855aae550debd811ece280ac3586cbc2637933334e288da8531e2351731b6fb053af3
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems
Description-md5: cfa2a5d59806f96ad49c7f5c046db97b
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug