Package: cvc3
Architecture: i386
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 60
Depends: libc6 (>= 2.4), libcvc3-5v5 (>= 2.4.1), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Filename: pool/universe/c/cvc3/cvc3_2.4.1-5.1ubuntu1_i386.deb
Size: 19888
MD5sum: e4ecaa8b14e9c0fd4498fa9ec697af2c
SHA1: 0a6fe412ddcc8e6b4affb1dfa16af9ae5ca98ecd
SHA256: 3f42e7e858a78cf70799001a9568b5c98f8a26fc7980ef26e187367ada1f38e6
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Automatic theorem prover for SMT problems
Description-md5: 5357abc7a4e419d892ffbd736a2fb3ee