In reply to dave_59:
I see. Thanks.
I was not able to put this into a constraint. Something like this:
rand int A[2][2];
constraint c1{
(A.sum with (item.sum with (item))) == 0;
}
The code wouldn’t compile. Can you point out where I did wrong here?