Puzzles solved by CSP