minor sync

2025-01-03 08:14:14 +01:00
parent 84a35fdc4c
commit 6fffbf6ecf
6 changed files with 5 additions and 17 deletions
--- a/ortools/sat/docs/scheduling.md
+++ b/ortools/sat/docs/scheduling.md
@@ -1163,7 +1163,7 @@ def main(_) -> None:

    # Create the solver and solve the model.
    solver = cp_model.CpSolver()
-    solver.parameters.log_search_progress = True
+    # solver.parameters.log_search_progress = True  # Uncomment to see the logs.
    solver.parameters.num_workers = 16
    solver.parameters.max_time_in_seconds = 30.0
    status = solver.solve(model)