diff --git a/examples/python/task_allocation_sat.py b/examples/python/task_allocation_sat.py index 45b72156d3..88e2d87e6e 100644 --- a/examples/python/task_allocation_sat.py +++ b/examples/python/task_allocation_sat.py @@ -273,6 +273,7 @@ def main(): # Create a solver and solve the problem. solver = cp_model.CpSolver() # Uses the portfolion of heuristics. + solver.parameters.log_search_progress = True solver.parameters.num_search_workers = 6 status = solver.Solve(model)