picosat is a SAT solver
