Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems