--- category: - Constraint Handling Rules note: Puzzles