Reply to Walter, > How could I do partial ordering if one constraint expression accepts > only "odd" integers? you wouldn't, but rather ignore that clause and mine the constraints that you would use out of the expression (see my post for details)