Given a set of task intervals each of which has a fixed duration, an
earliest start time, a latest end time, and a set of disjunctive
constraints each of which states that two task intervals cannot
overlap each other. The goal of disjunctive scheduling is to assign a
start time (an integer) to each task such that the given constraints
are all satisfied.
