Package: wnpp Severity: wishlist Owner: Michael Tautschnig <mt@debian.org> * 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
Attachment:
pgpLLa5i2358S.pgp
Description: PGP signature