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