I would like to know if it is possible to determine the last propator invoked in case Space::status returns ES_FAILED or if there are any plans to expose this information. If one can get this information (in the future) will one also introduce reflection API on the Propagator level?
David Rijsman _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
