Constraint Analysis