disjunctive(+StartTimes, +Durations)

Constrain the tasks with specified start times and durations to not overlap in time.

StartTimes

Collection of start times for tasks (integer variables or integers)

Durations

Collection of duration for tasks (integer variables or integers)

Description

A disjunctive scheduling constraint. StartTimes and Durations are
collections (a la collection_to_list/2) of equal size N of integer
variables or integers. The declarative meaning is that the N tasks with
the given start times and durations do not overlap at any point in time.

Any input variables which do not already have finite bounds will be
given default bounds of -10000000 to 10000000.