% For bridge_and_torch_problem.mzn
max_time = 20;
num_persons = 10;
max_num_to_cross = 3;
cross_time = [1,4,6,7,10,12,14,15,20,23];