Constrained random question

[dave_59]

In reply to kernalmode1:

The with clause can contain any expression-- it does not even have to reference the array sum is called on.

constraint sum_xy { x.sum(Xi) with (Xi*y[Xi.index]) < Val;}