GitHub repository: tycho01/sat-sudoku
Primary language: Python
Created: 2019-02-21T17:32:21Z
Description: a SAT solver using sudokus