constraints-0.13.1: Constraint manipulation