% For bridge_and_torch_problem.mzn
max_time = 30;
num_persons = 20;
max_num_to_cross = 3;
cross_time = [1,4,6,7,10,12,14,15,20,23,30,35,35,39,41,41,45,50,53,57];