GitHub repository: marcogario/pyPicoSAT
Primary language: C
Description: PicoSAT SAT Solver Python Wrapper