Solver for killer sudokus