[gecode-users] Reified Distinct Constraint

[Max Ostrowski]

I just found the distinct constraint, that hopefully makes all variables distinct. This could greatly reduce the number of constraints, as i am translating from a logic program.
But i would need a reified version of the distinct constraint.
I there any or can i at least emulate thie behaviour?

Thank you in advance,
Max
-- 
Jetzt 1 Monat kostenlos! GMX FreeDSL - Telefonanschluss + DSL 
für nur 17,95 Euro/mtl.!* http://dsl.gmx.de/?ac=OM.AD.PD003K11308T4569a