{picosat is a SAT solver}

WWW: http://fmv.jku.at/picosat/
