diff --git a/examples/dotnet/ShiftSchedulingSat.cs b/examples/dotnet/ShiftSchedulingSat.cs index e1d5c7722c..720038220b 100644 --- a/examples/dotnet/ShiftSchedulingSat.cs +++ b/examples/dotnet/ShiftSchedulingSat.cs @@ -284,6 +284,7 @@ public class ShiftSchedulingSat // Solve model var solver = new CpSolver(); + solver.StringParameters = "num_search_workers:8"; var solutionPrinter = new ObjectiveSolutionPrinter(); var status = solver.SolveWithSolutionCallback(model, solutionPrinter); @@ -545,4 +546,3 @@ public class ShiftSchedulingSat return Range(0, stop); } } - diff --git a/examples/python/shift_scheduling_sat.py b/examples/python/shift_scheduling_sat.py index a4f1321700..dae94953a7 100644 --- a/examples/python/shift_scheduling_sat.py +++ b/examples/python/shift_scheduling_sat.py @@ -378,6 +378,7 @@ def solve_shift_scheduling(params, output_proto): # Solve the model. solver = cp_model.CpSolver() + solver.parameters.num_search_workers = 8 if params: text_format.Merge(params, solver.parameters) solution_printer = cp_model.ObjectiveSolutionPrinter()