Package: boolector
Priority: extra
Section: universe/science
Installed-Size: 818
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Version: 1.5.118.6b56be4.121013-1
Depends: libc6 (>= 2.4)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1_i386.deb
Size: 345438
MD5sum: bef6c2eecf45a296a5c3d58419f88792
SHA1: 9dc020c810bbb96a16dd5f1816ad8ec57507b16b
SHA256: 29b8664804ba115e2d17cd913ab5273a1769c7ee8bdf819592d38a092abd4113
Description: SMT solver for bit-vectors and arrays
Homepage: http://fmv.jku.at/boolector/
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu