Kamel Ibn Aziz Derouiche a7dedca74a Import picosat-913 as wip/picosat. ... 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.		2010-06-11 11:45:49 +00:00
..
DESCR
distinfo
Makefile
PLIST