Solving Killer Sudoku Using Prolog Clpfd
m00nlight.github.io