Package: wnpp Severity: wishlist Owner: Michael Tautschnig <[EMAIL PROTECTED]>
* Package name : picosat * URL : http://fmv.jku.at/picosat/ * License : MIT Description : SAT solver with proof and core support PicoSAT is a SAT solver turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory. I'm just about to prepare the package, so expect an upload shortly. Best, Michael
pgpLotxrrFXPP.pgp
Description: PGP signature