# Disjunctive constraint

### From Glossary

This is a global constraint enforcing the fact that two activities and requiring the same unary resource cannot overlap in time. Therefore, either precedes or precedes . In general the disjunctive constraint achieves arc_consistency on the formula: .

For discrete (cumulative) resource capacity, the disjunctive constraint holds when where is the capacity requirement of task , is the capacity requirement of task and the capacity of the resource.

See also the Cumulative_constraint.