I just got the following crash in my Gecode/J program: java: /home/malcolmr/include/gecode/int/extensional/tuple-set.icc:88: bool Gecode::TupleSet::TupleSetI::finalized() const: Assertion `(excess == -1 && domsize >= 0) || (excess != -1 && domsize == -1)' failed. I'll look into it and see if I can reproduce it reliably. Malcolm