A kind of cumulatives constraint where a single resource is shared among multiple identifiers.
Utility class to ease the creation of some constraints on Choco.
Enforces two sets of variables values to be disjoint created sofdem - 08/09/11
Enforces multiple sets of variables values to be disjoint created sofdem - 08/09/11
A fast implementation for BVAR <=> VAR = CSTE
A fast implementation for BVAR => VAR = CSTE
Kind of a precedence constraint when there is multiple resources.
A constraint to enforce
Monitor to maintain start + duration = end
A constraint to schedule tasks with regards to their resource usages on resources having a finite amount to share.
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.