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