GitHub repository: spokerman12/sudoku-to-sat-solver
Primary language: Python
Created: 2020-06-20T15:01:17Z
Description: Transforms a Sudoku to a boolean SAT problem and solves it