constraints-0.9.1: Constraint manipulation