A Sudoku solver in CLPFD of SWI.