%-----------------------------------------------------------------------------%

include "globals.mzn";

%-----------------------------------------------------------------------------%
% Model parameters.
%

int: n_machines;                        % The number of machines.
int: n_jobs;                            % The number of jobs.


array [1..n_machines] of int : capacity;

array [1..n_jobs] of int: job_duration;

array [1..n_machines,1..n_jobs] of int: requirement;

array [1..n_jobs,1..n_jobs] of int: precedences;

%-----------------------------------------------------------------------------%
% Model variables.
%

    % The start time of each job task.
    %
array [1..n_jobs] of var 0..10: job_start;


    % The finishing time is the time of the last task to complete.
    %
var int: t_end;



%-----------------------------------------------------------------------------%
% Constraints.
%