Package: wnpp Severity: wishlist Owner: Michael Tautschnig <[EMAIL PROTECTED]>
* 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
pgphrWMGQd7Gm.pgp
Description: PGP signature
