copy of SAT solver picosat from http://fmv.jku.at/picosat/