Test v9.10 with modified solver parameters

google/or-tools#4166
slothy-optimizer · Jul 8, 2024 · ecbffd1 · ecbffd1
1 parent d960ba9
commit ecbffd1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/slothy/core/core.py b/slothy/core/core.py
@@ -3129,6 +3129,9 @@ def _init_external_model_and_solver(self):
         self._model.cp_model  = cp_model.CpModel()
         self._model.cp_solver = cp_model.CpSolver()
         self._model.cp_solver.random_seed = self.config.solver_random_seed
+        self._model.cp_solver.parameters.num_workers = 16
+        self._model.cp_solver.parameters.cp_model_probing_level=0
+        self._model.cp_solver.parameters.linearization_level=0
 
     def _NewIntVar(self, minval, maxval, name=""): # pylint:disable=invalid-name
         r = self._model.cp_model.NewIntVar(minval,maxval, name)