X[i][j][k] is boolean.

x[1][3][1]+x[1][3][2]=2||

x[1][4][2]+x[1][4][2]=2||

x[2][3][1]+x[2][3][2]=2||

x[2][4][2]+x[2][4][2]=2||

.

.

.

i wanna write these constraint in closed format. Wtihout logical OR we can write

" forall(i in 1..2, j in 3..4) sum(k in 1..2) x[i][j][k] "

with logical OR how can i do that? Any idea?