Puzzles solved by CHR