% For bridge_and_torch_problem.mzn
% Data from
% http://www.mathematik.uni-bielefeld.de/~sillke/PUZZLES/crossing-bridge
max_time = 20;
num_persons = 4;
max_num_to_cross = 2;
cross_time = [5,10,20,25];