GitHub repository: majacQ/pycosat
Description: Python bindings to picosat (a SAT solver)