GitHub repository: pysmt/pyPicoSAT
Primary language: C
Created: 2015-05-21T09:32:23Z
Description: PicoSAT SAT Solver Python Wrapper