Package: cvc3 Priority: extra Section: universe/math Installed-Size: 96 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu> Architecture: amd64 Version: 2.2-13.1 Depends: libc6 (>= 2.2.5), libcvc3-2, libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0) Filename: pool/universe/c/cvc3/cvc3_2.2-13.1_amd64.deb Size: 20306 MD5sum: 947ae8bcf23cf4910e9f7e8d7372e4e2 SHA1: 3b906c5427da62d165aac76a9fbbcba44e21a0c7 SHA256: 3abc8b716b479be1eedb696a2b102d90763a3db3cc16ce63efcbe3b5ca79b830 Description: An automatic theorem prover for SMT problems Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: fac9a717c120f6decfb1449704022d1a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu