% For bridge_and_torch_problem.mzn
max_time = 20;
num_persons = 6;
max_num_to_cross = 3;
cross_time = [1,2,3,4,5,6];