Package: cvc3
Priority: extra
Section: universe/math
Installed-Size: 60
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>
Architecture: i386
Version: 2.4.1-5ubuntu1
Depends: libc6 (>= 2.4), 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_i386.deb
Size: 19234
MD5sum: 2c69cac899bb0bbc35580ffe09cead5e
SHA1: f37552283580750a4f3e4a168c944cb1940db4a8
SHA256: 2c3c81d4dda30e969672e845f9ab0d64cd3d2d21e87fdb96700cae565ae74f59
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