% For bridge_and_torch_problem.mzn
% Data from
% http://en.wikipedia.org/wiki/Bridge_and_torch_problem
max_time = 10;
max_num_to_cross = 2;
num_persons = 4;
cross_time = [1,2,5,8];