cardinality(IntExpArray)
7576777879808182838485
_cards = new IntExpArray(constrainer, size); for (int i = 0; i < size; ++i) { _cards.set(new IntExpCard(constrainer, _vars, _min + i), i); } // System.out.println("After build " + this);