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