comp.constraints