Possibly you will have to write new constraints to express conditions specific to your application, or at least to express them more efficiently, more directly. In such a case, you should use an active constraint, that is, one that propagates everything to all the variables that it contains.