Data files
bus_scheduling_csplib_c1.dzn
bus_scheduling_csplib_c1a.dzn
bus_scheduling_csplib_c2.dzn
bus_scheduling_csplib_r1.dzn
bus_scheduling_csplib_r1a.dzn
bus_scheduling_csplib_r2.dzn
bus_scheduling_csplib_r3.dzn
bus_scheduling_csplib_r4.dzn
bus_scheduling_csplib_r5.dzn
bus_scheduling_csplib_r5a.dzn
bus_scheduling_csplib_t1.dzn
bus_scheduling_csplib_t2.dzn