[gecode-users] Cleaner way for if/then constraint condition

[Richard Portelli]

Hello,

I am looking for the "best" way to implement if/then type of constraint
propagation.
An example would be : I have an array of 10 integers with sum =100. If one
element is equal to 10, the following one should be 11.
Adding a lot of these constraint is it ressource intensive or not necessary?
Thanks for your help,
Cheers,
Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140610/4cc285b7/attachment.html>