projects / pkgsrc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
update Fri Jun 11 06:37:02 PDT 2010
[pkgsrc.git] / wip / picosat / DESCR
1 PicoSAT is a SAT solver turned out to be faster on industrial instances than
2 MiniSAT 2.0 and also can generate proofs and cores in memory.
DragonFly Project mirror of NetBSD pkgsrc GIT Source Repo