Sudoku solver domain and scheme