Package: minisat
Priority: extra
Section: universe/science
Installed-Size: 413
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: minisat2
Version: 1:2.2.1-5
Replaces: minisat2 (<< 1:2.2.1-1)
Provides: minisat2
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4)
Conflicts: minisat2 (<< 1:2.2.1-1)
Filename: pool/universe/m/minisat2/minisat_2.2.1-5_i386.deb
Size: 97038
MD5sum: 832aaf179eb4e55cf996397df2e71702
SHA1: 80bd2b2720e47cd65cefc5d71af9e36f92c16e97
SHA256: 78866a39c9d6820b11f5516e3801c2efb908502ce3fbc5627d1ade510ae4bef1
Description: Fast and lightweight SAT solver
Homepage: http://minisat.se/
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu