Functional Sudoku Solver by Cesar Tron-Lozai