I've just discovered that at least one source of the crashes I've encountered is linked to my use of a TimeStop on search. I hope this helps.
Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
