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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users