diff options
Diffstat (limited to 'job_scheduling/generate-jobscheduling.py')
-rwxr-xr-x | job_scheduling/generate-jobscheduling.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/job_scheduling/generate-jobscheduling.py b/job_scheduling/generate-jobscheduling.py index 5cf9b04..e387c48 100755 --- a/job_scheduling/generate-jobscheduling.py +++ b/job_scheduling/generate-jobscheduling.py @@ -94,6 +94,12 @@ for i in jobs_max2_for_3: preds += ["(or %s)" % " ".join(altpreds)] +# Job 6 may only run when job 12 is running. +if is_b: + preds += [ + "(and (<= t12 t6) (<= (+ t6 d6) (+ t12 d12)))" + ] + # Begin generator s = """(benchmark test.smt :logic QF_UFLIA |