Python bindings to picosat (a SAT solver)