Hello All, I came across previous discussions on the list which explained that with ICL_VAL the distinct propagator blocks until a variable is assigned. Once a variable is assigned it then restricts all other variables from having that value. Could someone explain how powerful the propagation achieved by distinct is with ICL_DOM?
Thanks! Michal
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
