Convert Sudoku puzzles into problems for your favourite SMT solver
Primary LanguagePythonMIT LicenseMIT