fix

2019-05-29 09:27:11 +02:00
parent c8a556258f
commit c0cef73c1f
1 changed files with 1 additions and 1 deletions
--- a/examples/python/bus_driver_scheduling_sat.py
+++ b/examples/python/bus_driver_scheduling_sat.py
@@ -343,7 +343,7 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):

    # Solve model.
    solver = cp_model.CpSolver()
-    solver.parameters.log_search_progress = True  #not minimize_drivers
+    solver.parameters.log_search_progress = not minimize_drivers
    solver.parameters.num_search_workers = 8
    status = solver.Solve(model)