1. CSPLib
  2. Languages
  3. MiniZinc
  4. Data

MiniZinc

File Problem Notes
bus_scheduling_csplib_c1.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_c1a.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_c2.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r1.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r1a.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r2.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r3.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r4.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r5.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_r5a.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_t1.dzn 022: Bus Driver Scheduling
bus_scheduling_csplib_t2.dzn 022: Bus Driver Scheduling