Hi, Distinct, alldistinct, alldifferent, and alldiff are all common synonyms for the constraint that all variables must take distinct/different values.
In some solvers, the different names are used to refer to different amounts of propagation. The corresponding concept in Gecode is specifying naive, bounds, or domain consistent with the IntConLevel argument. Cheers, Mikael On 5/13/07, Nick Hindle <[EMAIL PROTECTED]> wrote:
Hi, Can anyone confirm if the Gecode "Distinct" constraint implements the standard AllDifferent constraint? Many thanks in advance, Nick _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
-- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
