diff --git a/requirements.txt b/requirements.txt index b1f405e9..1f927b87 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,4 +1,4 @@ numpy==1.26.4 -ortools==9.7.2996 +ortools==9.10.4067 pandas==2.1.1 sympy==1.12 diff --git a/slothy/core/core.py b/slothy/core/core.py index cddf4fdd..acc31fc0 100644 --- a/slothy/core/core.py +++ b/slothy/core/core.py @@ -3135,6 +3135,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)