Package: minisat+
Architecture: i386
Version: 1.0-4
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 391
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5)
Filename: pool/universe/m/minisat+/minisat+_1.0-4_i386.deb
Size: 149354
MD5sum: ee85657b0077ecda79f65a5792a47514
SHA1: f62866e6384f188cd70c0d7ca13538fb5aef32f3
SHA256: 55c210bec2c3eb75459b20d49fa5f0daab6b262a93fce19661b66f8b9843a952
Homepage: http://minisat.se/MiniSat+.html
Description: solver for pseudo-Boolean constraints
Description-md5: 5abc23f5b2ba8e7a876d2a8e3bf6dfdb