Bug#484989: ITP: minisat2 -- fast and lightweight SAT solver

[Michael Tautschnig <mt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name     : minisat2
* URL              : http://minisat.se/
* License          : MIT
  Description      : fast and lightweight SAT solver
 MiniSat is a minimalistic, open-source SAT solver, developed to help
 researchers and developers alike to get started on SAT. Winning all the
 industrial categories of the SAT 2005 competition, MiniSat is a good starting
 point both for future research in SAT, and for applications using SAT.

I'm just about to prepare the package, so expect an upload shortly.

Best,
Michael

Attachment: pgpKuxkYg_c6i.pgp
Description: PGP signature