include "globals.mzn";

int: p;
int: m;
array[1..p,1..m] of int: time;

var int: makespan;

array[1..p,1..m] of var 0..sum(time): start;
array[1..p,1..m] of var 0..sum(time): end;

constraint forall(i in 1..p, j in 1..m)(end[i,j] = start[i,j] + time[i,j]);

constraint forall(i in 1..p, j in 1..m-1)(end[i,j] <= start[i,j+1]);

%constraint forall(j in 1..m)(disjunctive([start[i,j] | i in 1..p], [time[i,j] | i in 1..p]));
constraint forall(a,b in 1..p where a != b,j in 1..m)(start[a,j] >= end[b,j] \/ start[b,j] >= end[a,j]);

constraint makespan = max(i in 1..p, j in 1..m)(end[i,j]);

    
solve minimize makespan;

output
[
  "makespan: " ++ show(makespan) ++ "\n" ++
  "[start-(dur)-end]:"
]
++
[
  if j = 1 then "\n" else " " endif ++
       "[" ++ show(start[i,j]) ++ "-(" ++ show(time[i,j]) ++ ")-" ++ show(end[i,j]) ++ "]"

  | i in 1..p, j in 1..m
];