Puzzles solved by CLAUDI