Commit 11b61d5d authored by Vladislav Kiselev's avatar Vladislav Kiselev

break в switch

parent cabc2690
......@@ -163,6 +163,7 @@ public class Solver {
}
pb = new ProcessBuilder("external_tools/or-tools_flatzinc_Ubuntu-18.04-64bit_v7.2.6977/bin/fzn-or-tools",
flatZincConstraints);
break;
}
case Undefined: {
if (flatZincSolver.isEmpty()) {
......@@ -185,6 +186,7 @@ public class Solver {
}
}
pb = new ProcessBuilder(flatZincSolver, flatZincConstraints);
break;
}
default:
return "Undefined solver.";
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment