Subject: CVS commit: wip/picosat
From: Kamel Derouiche
Date: 2010-06-11 13:45:49
Message id: E1ON2gW-0002jf-AK@sfp-cvsdas-2.v30.ch3.sourceforge.com
Log Message:
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.
Files:
RevisionActionfile
1.1importwip/picosat/distinfo
1.1importwip/picosat/Makefile
1.1importwip/picosat/PLIST
1.1importwip/picosat/DESCR