hi,
  I have three different propagator ( all are implemented by me, not the 
standard ones ) and I want to call them in a certain order. How can I 
achieve the ordering ?

With regards
Debdeep

_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to