Dear list, I am new to constraint solving, to Gecode, and to this list, and have a quite basic question (I guess). I am mainly interested in my Ph.D. project in solving arithmetic constraints. I saw that Gecode offers here beside others "plus", "minus" and "sqr".
I cannot find those in Gecode/J. Do I miss something? I want to express a constraint like z = x + y (over finite domains). Thanks and cheers, Lars _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
