this repo has no description
dekker.one
1include "cumulative.mzn";
2
3enum OBJECTS;
4% Duración de la mudanza.
5array[OBJECTS] of int: duration;
6
7% Número de operarios requeridos.
8array[OBJECTS] of int: handlers;
9
10% Número de carros necesarios.
11array[OBJECTS] of int: trolleys;
12
13int: available_handlers;
14int: available_trolleys;
15int: available_time;
16
17array[OBJECTS] of var 0..available_time: start;
18var 0..available_time: end;
19
20constraint cumulative(start, duration, handlers, available_handlers);
21constraint cumulative(start, duration, trolleys, available_trolleys);
22
23constraint forall(o in OBJECTS)(start[o] +duration[o] <= end);
24
25solve minimize end;
26
27output [ "Comienzo = \(start)\n fin = \(end)\n"];