Package: minisat+
Architecture: amd64
Version: 1.0-5
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: 395
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libstdc++6 (>= 5)
Filename: pool/universe/m/minisat+/minisat+_1.0-5_amd64.deb
Size: 160822
MD5sum: ae81e5afb61b87d80e06f25b761ce6dc
SHA1: c392c7f7bc0dc4b9c215b14149e6e3632baf2ce7
SHA256: e0b6a9273e783fc857337e035b9d7f39c41bcd7f81e86c97e810d57e2769df23
SHA512: 36431486cf65cae685aa6b24d0439ac06e85820a5d4001c35854e1adaff4f5d14f64f00764a2389149de3dade5e621d889fa753656900f2d029a09efdae4e68b
Homepage: http://minisat.se/MiniSat+.html
Description: solver for pseudo-Boolean constraints
Description-md5: 5abc23f5b2ba8e7a876d2a8e3bf6dfdb