constraints-0.11.2: Constraint manipulation