Unchecking the `enabled' checkbok in the Manage Prolog Contraints dialog box does not disable the constraint. GEMS still solves that particular constraint. Moreover, if the box is unchecked when the model is closed, it is checked when the model is re-opened. It seems as if the state of the checkbox is not preserved.