[gecode-users] Gecode Propagators' Order

[Zhu Zichen's cse]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150324/d8509dd2/attachment-0001.html>