In SAT 2004 Competition, our solver zChaff emerged as the Best Complete Solver in industrial benchmark category (and industrial unsatisfiable benchmarks category). It was also awarded in SAT 2002 Competition as the Best Complete Solver in both industrial and handmade benchmarks categories.
Currently we have two distributions of the Chaff SAT Solver. [These solvers are provided as is without any warranty.]
Home | People | Publications | Software | Links | SAT Paper Library
© Copyright: 2001-2004 SAT Research Group, Princeton University