是否有MiniZinc谓词来模拟依赖时间的资源限制(如累积)？

include "globals.mzn";

% 定义任务的数量和资源的数量
int: nTasks = 3;
int: nResources = 2;

% 定义任务的开始时间、持续时间、资源需求
array[1..nTasks] of var int: startTimes;
array[1..nTasks] of var int: durations;
array[1..nTasks] of int: resourceDemands;

% 定义资源的可用量
array[1..nResources] of int: resourceCapacities;

% 定义任务的结束时间
array[1..nTasks] of var int: endTimes = [startTimes[i] + durations[i] | i in 1..nTasks];

% 累积限制
constraint cumulative(startTimes, durations, resourceDemands, resourceCapacities);

% 搜索解
solve minimize maximum(endTimes);

% 输出解
output [
    "startTimes: \(startTimes)",
    "endTimes: \(endTimes)"
];