Hi, Is there some way to ensure ( or just strongly suggest) that a propagator is scheduled to run only after the other propagators have stabilized ( or thats its just in general pushed to the back of the propagation queue) ?
I thought perhaps the propagation cost() function could achieve an effect like this, if it returns a very high cost? Related to this, how is the cost() function used exactly? I cant seem to find any information on this in the documentation. Regards, Peter Tiedemann _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
