improve solver parameters with the scheduling model

2022-07-15 20:03:14 +02:00
parent 4d28122fe9
commit a484766b6c
1 changed files with 1 additions and 0 deletions
--- a/examples/python/line_balancing_sat.py
+++ b/examples/python/line_balancing_sat.py
@@ -333,6 +333,7 @@ def solve_scheduling_model(model, hint):
    if FLAGS.params:
        text_format.Parse(FLAGS.params, solver.parameters)
    solver.parameters.log_search_progress = True
+    solver.parameters.exploit_all_precedences = True  # Helps with the lower bound.
    solver.Solve(model)