private static Solver referencePropagation(Modeler modeler, int nbVar, int[][] domains, THashMap<int[], IntVar> map, Object parameters) {
Solver ref = modeler.model(nbVar, domains, map, parameters);
// LOGGER.error(ref.toString());
try {
ref.propagate();
} catch (ContradictionException e) {
LOGGER.info("Pas de solution pour ce probleme => rien a tester !");
return null;
} catch (Exception e) {
writeDown(ref);