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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users