Dear all, It is possible to control the propagators' order such that a propagator is always triggered at the end?
I changed the cost function to give it as large number as possible but this cannot guarantee. Thanks. Zoe
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
