[gecode-users] AllDifferent

[Mikael Zayenz Lagerkvist]

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 <nick.hindle at tesco.net> wrote:
>
> Hi,
>
> Can anyone confirm if the Gecode "Distinct" constraint implements the
> standard AllDifferent constraint?
>
> Many thanks in advance,
>
> Nick
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>
>


-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/