[LOGIC-117] one-shot constraints with multiple rands may run more than once Created: 11/Mar/13 Updated: 19/Mar/13
|Reporter:||Nada Amin||Assignee:||David Nolen|
Here are two examples using fixc:
The constraint != is reified twice in each example, showing that the fixc constraint indeed ran twice.
|Comment by David Nolen [ 17/Mar/13 7:27 PM ]|
For the first example I see the following as a result on master:
Is this what you're seeing? As x isn't even part of the answer I wonder if we should show these constraints?
|Comment by Nada Amin [ 19/Mar/13 1:36 AM ]|
I changed the reifier by setifying the set of constraints, hence you get only one result now. So my illustration is now out-of-date but the problem remains. It's a separate issue to filter out irrelevant constraints, and I agree it should be done (I try to do it for the nominal constraints).