diff --git a/examples/python/scheduling_with_transitions_sat.py b/examples/python/scheduling_with_transitions_sat.py index 43b31000fb..11d34776bc 100644 --- a/examples/python/scheduling_with_transitions_sat.py +++ b/examples/python/scheduling_with_transitions_sat.py @@ -184,6 +184,7 @@ for machine_id in all_machines: arcs.append([i + 1, j + 1, lit]) model.AddImplication(lit, PRESENCES[i]) model.AddImplication(lit, PRESENCES[j]) + # Compute the transition time if task j is the successor of task i. if Resource[i] != Resource[j]: transition_time = 3 switch_literals.append(lit)