Constraint handling infrastructure