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
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