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