Package: libcvc3-5
Priority: extra
Section: universe/libs
Installed-Size: 6239
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Architecture: i386
Source: cvc3
Version: 2.4.1-4ubuntu1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6)
Filename: pool/universe/c/cvc3/libcvc3-5_2.4.1-4ubuntu1_i386.deb
Size: 1771526
MD5sum: 5fa5fd72c2d07180e3336b1357be9349
SHA1: b6d720f013cb59c5d23952c247f477ab896033d6
SHA256: d06413553239ef477e1f0d2cddf7ce4bf912ce441a8b5d0d61795488f11b878f
Description: Automatic theorem prover library for SMT problems
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description-md5: 0a950a6788f9bc806b6b78660ac3f615
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu