Package: cvc3 Priority: extra Section: universe/math Installed-Size: 61 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Morgan Deters <mdeters@morgandeters.com> Architecture: amd64 Version: 2.4.1-5ubuntu1 Depends: libc6 (>= 2.14), libcvc3-5v5 (>= 2.4.1), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 5.2) Filename: pool/universe/c/cvc3/cvc3_2.4.1-5ubuntu1_amd64.deb Size: 18656 MD5sum: 4cd6a945640a65d474aed8dd32f5c7c5 SHA1: 837056e4126409a1ca7b3016634dc050c826116e SHA256: a52353ed6c8398ced4c97d657fe2cd3cac22f2776212053387062177bdde9944 Description: Automatic theorem prover for SMT problems Homepage: http://www.cs.nyu.edu/acsys/cvc3/ Description-md5: 5357abc7a4e419d892ffbd736a2fb3ee Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu