But one could enumerate the reasons. I mean being in a search one could conclude that the reason of a failure is due to the branching in case one has no propagator and because of the propagator if one has one. Being outside the search one can conclude the same but the reason is not the branching but the posting of the constraint in case of a failure without a last propagator.
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
