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