SudokuSolver A Sudoku Solver using Prolog's Constraint Logic Programming over Finite Domains, with an interface written in Python.