Roadsong/sudoku-solver

An SMT solver-based Sudoku problem solver.

PythonMIT