I want to randomize an multi dimension array in such a way that it should contain “unique” values. without using the “unique” keyword How to write constraint for that ? In the below example I want all the index have the unique value i.e. ary[0][0]=2,ary[0][1] =4, … for example rand int ary[2][2]…

constraint c_item { foreach(arry[i,j]) arry[i][j] inside {[1:4]}; foreach(arry[i,j]) foreach(arry[k,l]) if (i==k && j==l) arry[i][j]==arry[k][l]; else arry[i][j]!=arry[k][l]; }