Constraint programming examples