glpk tdl_pass.mod

tdl_pass.mod

set attractions;
set fast_passes;

set attraction_9;
set attraction_18;
set attraction_19;
set attraction_26;
set attraction_27;
set attraction_31;
set attraction_33;
set attraction_38;

param time{attractions};
param fun{attractions};
param wait{attractions};
param fast_pass_limit_times;
param day;

var ride{attractions} binary;

maximize wife_s_pleasure:
  sum{attr in attractions} fun[attr] * ride[attr];

s.t. in_one_day:
  sum{attr in attractions} ( time[attr] + wait[attr] ) * ride[attr] <= day;
s.t. fast_pass_limit:
  sum{pass in fast_passes} ride[pass] <= fast_pass_limit_times;
s.t. pass_or_in_line_9:
  sum{attr in attraction_9} ride[attr] <= 1;
s.t. pass_or_in_line_18:
  sum{attr in attraction_18} ride[attr] <= 1;
s.t. pass_or_in_line_19:
  sum{attr in attraction_19} ride[attr] <= 1;
s.t. pass_or_in_line_26:
  sum{attr in attraction_26} ride[attr] <= 1;
s.t. pass_or_in_line_27:
  sum{attr in attraction_27} ride[attr] <= 1;
s.t. pass_or_in_line_31:
  sum{attr in attraction_31} ride[attr] <= 1;
s.t. pass_or_in_line_33:
  sum{attr in attraction_33} ride[attr] <= 1;
s.t. pass_or_in_line_38:
  sum{attr in attraction_38} ride[attr] <= 1;

end;