Python bindings to picosat (a SAT solver) - View it on GitHub