File Type Notes
bus_scheduling_csplib_c1.dzn MiniZinc
bus_scheduling_csplib_c1a.dzn MiniZinc
bus_scheduling_csplib_c2.dzn MiniZinc
bus_scheduling_csplib_r1.dzn MiniZinc
bus_scheduling_csplib_r1a.dzn MiniZinc
bus_scheduling_csplib_r2.dzn MiniZinc
bus_scheduling_csplib_r3.dzn MiniZinc
bus_scheduling_csplib_r4.dzn MiniZinc
bus_scheduling_csplib_r5.dzn MiniZinc
bus_scheduling_csplib_r5a.dzn MiniZinc
bus_scheduling_csplib_t1.dzn MiniZinc
bus_scheduling_csplib_t2.dzn MiniZinc
data.zip zip