Hi,
I am reviewing the documentation/updates I have made to ECLiPSe's Gecode
interface, and I noticed that for Boolean expressions, which are mapped
to MiniModel's BoolExpr, I have not implemented the non-equivalence
operator (!=).
I have implemented exclusive or (^). I am not sure how this is different
from non-equivalence -- both seem to be true if the
two sides are different, and false otherwise. Am I missing something?
Cheers,
Kish
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
