.

2023-06-19 17:24:16 +01:00
parent 01f0ba6da6
commit d8cbfe2176
3 changed files with 12 additions and 5 deletions
@@ -307,9 +307,15 @@ class RotaBuilder(object):
    ):
        console.print("Setting up solver")

-        #solver = "scip"
+        solver = "scip"

        if solver == "scip":
+            if "seconds" in options:
+                options["limit/time"] = options.pop("seconds")
+            if "ratio" in options:
+                options["limit/gap"] = options.pop("ratio")
+            if "threads" in options:
+                options.pop("threads")
            self.opt = SolverFactory(solver, executable="scip")
        else:
            self.opt = SolverFactory(solver)