I need to model this (simple) constraint in Eclipse CLP:
Given three domain variables, lets say
D3 and I want to ensure that these three variables will not end up with the same value. Two of them can have equal value.
My first idea was something like:
D1 #\= D2 or D1 #\= D3
But I do not like disjunctions in the model.
Then I changed the model to the form of implications:
D1 #= D2 => D1 #\= D3
Is there some more efficient way how to model this constraint?
I was thinking about
but I am not sure it is not overcomplicated for such a simple usage.