Hi,
The mistakes was easy to solve since I have simply forgotten to retrieve the return value of a me_failed call. Bye.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users