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