Solve KenKen and Sudoku puzzles with constraint programming