% For bridge_and_torch_problem.mzn
max_time = 10;
num_persons = 5;
max_num_to_cross = 2;
cross_time = [1,2,5,8,11];