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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
