Constraint for array

[dave_59]

In reply to raja7052:

int Max=15;
rand int unsigned array[3][3];
constraint c_only_1 { array.sum(d1) with (d1.sum(d2) with (int'(d2 == Max))) ==1;}
constraint c_le_Max { foreach (array[i,j]) array[i][j] <= Max; }