2-Dimenson Dynamic array Constraints

In reply to fenil_shah:

You need to iterate over the second dimension. I would also use j as the iterator variable name so you don’t confuse it with i [,j].

 constraint a_col {
    foreach (a[,j]) a.sum() with (int'(a[item.index][j])) == 30;
  }