final IntVar[] h = VF.enumeratedArray("h",n,0,hmax,solver);
final IntVar capa = VF.enumerated("capa", 0, capamax, solver);
final IntVar last = VF.enumerated("last", 0, n * dmax, solver);
Task[] t = new Task[n];
for(int i=0;i<n;i++){
t[i] = new Task(s[i],d[i],e[i]);
solver.post(ICF.arithm(e[i],"<=",last));
}
Constraint c = ICF.cumulative(t,h,capa,graph);
solver.post(c);
solver.set(ISF.random_bound(solver.retrieveIntVars(), seed));