constraints-0.13.4: Constraint manipulation