Using Yices2 to solve, explain, and teach Sudoku puzzle solving.
Primary LanguagePythonCreative Commons Attribution 4.0 InternationalCC-BY-4.0