Constraint handling ruless

• Zebra puzzle