예제 #1
0
 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;
 }