pathawks/sudoku-smt

Exploring SMT solvers by solving Sudoku puzzles

C