constraints-0.13.3: Constraint manipulation