if (tuple[i] == val) checkocc++;
}
if (checkocc == tuple[tuple.length - 1]) {
tuples.add(tuple);
}
} while (solver.nextSolution() == Boolean.TRUE);
IntVar[] newvs = new IntVar[vs.length + 1];
System.arraycopy(vs, 0, newvs, 0, vs.length);
newvs[vs.length] = occ;