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

Reply via email to