I'm looking for a reified version of Gecode.distinct() but there doesn't appear to be one. Can anyone suggest a reasonable alternative?
Malcolm
--
"The modern man in revolt has become
practically useless for all purposes of revolt.
By rebelling against everything
he has lost his right to rebel against anything."
- G.K.Chesterton,
Orthodoxy
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
