graph[ci[1] - 1][ci[0] - 1] = 1;
}
if (opt) {
cards = VariableFactory.boundedArray("c", values.size(), 0, vars.length, solver);
freqs = values.toArray();
Arrays.sort(freqs);
for (int i = 0; i < freqs.length; i++) {
solver.post(IntConstraintFactory.count(freqs[i], vars, cards[i]));
}
nb0 = VariableFactory.bounded("nb0", 0, freqs.length, solver);