Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.1
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: 774
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.1_amd64.deb
Size: 323476
MD5sum: bccb72b535cee78804b0796be11cc4f9
SHA1: 1393edfcf5e0ee9a83c4c1fe137bd86477db40db
SHA256: 0d4af8aa08af0d5227d46e3422ee1d444fc38bd9bc2cb4e859474be2f8bc1197
SHA512: f4abc71aeda894044f95b78f9b0b3fa2e6803fc5518b28ca2c09075cb8a54c05a131928e60effaee8a3e7f754d96859eaec40fca11f3789bb81e9b892c78bd09
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d