SAT solver for Sudoku's for the UvA MSc AI course Knowledge Representation
Primary LanguageJupyter Notebook