much more pedantic checks in python CP-SAT

This commit is contained in:
Laurent Perron
2021-04-14 14:34:16 +02:00
parent 180e0326a6
commit 813a92f313
4 changed files with 105 additions and 14 deletions

View File

@@ -121,7 +121,7 @@ def flexible_jobshop():
starts[(job_id, task_id)] = start
# Add precedence with previous task in the same job.
if previous_end:
if previous_end is not None:
model.Add(start >= previous_end)
previous_end = end