Puzzles solved by CLP