[gecode-users] Gecode/J arithmetic constraints

[Lars Frantzen]

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