In reply to ABD_91:
Hey ABD_91, Yes your guess is correct
constraint array1_row {
foreach (array1[i]) {
array1[i].sum(item) with ((item inside {[0:7], [93:100], 90, 10}) ? item : 101) == 100;
}
}
// 3 90 5 2
//
// 95 5 0 0
//
// 1 0 93 6
//
// 93 5 0 2