Hello, I'm new to constraint satisfaction problems. I have no experience in prolog but I know java and thus jacop is the perfect tool for me. So, congratulations for the good job!

I have a question.

Constraint ctr = new Sum(v, sum);

is for imposing a constraint over the sum of IntVar v.But, how can impose a constraint over the sum of square of v elements?

For example, if v=, I want a^2+b^2+c^2=1000. How can I impose this constraint?

Thank you in advance!