GitHub repository: pombredanne/pycosat
Primary language: C
Description: Python bindings to picosat (a SAT solver)