GitHub repository: EZLiang/SudokuSAT
Primary language: Python
Created: 2021-01-07T13:48:47Z
Description: Using SAT solvers to solve Sudoku puzzles