Hi, I am using python for CP solving.
I would like to know if there is constraint that does the opposite of no_overlap.
This will be like
overlap(interval, arr, n)
interval - single interval variable
arr - array of interval variables
n - positive integer less than length of arr
this will mean that atleast n interval variables from arr overlap in the interval of interval
This is for a situation in job scheduling when a job is not possible to be scheduled on a machine because there are already n higher priority jobs.
------------------------------
Prakash Gawas
------------------------------
#DecisionOptimization