GitHub repository: vpfautz/sudoku
Primary language: Python
Created: 2017-02-26T16:38:39Z
Description: Solving sudoku using SAT