Constraint generator