Package: minisat+
Architecture: amd64
Version: 1.0-4build1
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: 352
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libstdc++6 (>= 5)
Filename: pool/universe/m/minisat+/minisat+_1.0-4build1_amd64.deb
Size: 142004
MD5sum: 7362c3fa3e9643051949bb0f0a5461cb
SHA1: 225d4b3e0d15432c18497548fe2fbe250e6b1672
SHA256: f5f1cc237053f0189b19a1daed94793cf82a4bcc329e5d2144d126b054b91ec0
SHA512: fe5dc1d536b2c169fa4200f400f0b511f0d43268df4c1b2959163df7765079089a20c6955ed20045c3d5e30b9a641cb726e2e7216a831cec74eda388cdfff2d6
Homepage: http://minisat.se/MiniSat+.html
Description: solver for pseudo-Boolean constraints
Description-md5: 5abc23f5b2ba8e7a876d2a8e3bf6dfdb