GitHub repository: marijnheule/sat-examples
Primary language: C
Created: 2019-09-11T15:01:47Z
Description: Simple examples of using SAT solvers