Could you please add a toString() method to IntSet in Gecode/J? It would help in debugging. At the moment there is no way to inspect the contents of a set at runtime. Malcolm