revert parallel search on balance group examples

This commit is contained in:
Laurent Perron
2021-01-20 14:55:59 +01:00
parent 0b284082aa
commit dbec1ec79f
2 changed files with 2 additions and 2 deletions

View File

@@ -144,7 +144,6 @@ public class BalanceGroupSat
model.Minimize(e);
var solver = new CpSolver();
solver.StringParameters = "num_search_workers:8";
var solutionPrinter = new SolutionPrinter(values, colors, allGroups, allItems, itemInGroup);

View File

@@ -158,8 +158,9 @@ def main():
# Minimize epsilon
model.Minimize(e)
model.ExportToFile('balance_group_sat.pbtxt')
solver = cp_model.CpSolver()
solver.parameters.num_search_workers = 8
solution_printer = SolutionPrinter(values, colors, all_groups, all_items,
item_in_group)
status = solver.SolveWithSolutionCallback(model, solution_printer)