private int checkSolutions(Model model, SetVar set, int value) { int nbSol = 0; while (model.getSolver().solve()) { nbSol++; assertTrue(set.getValue().contains(value)); } assertTrue(nbSol > 0); return nbSol; }