MiniZinc

File	Problem	Notes
03.dzn	006: Golomb rulers
04.dzn	006: Golomb rulers
05.dzn	006: Golomb rulers
06.dzn	006: Golomb rulers
07.dzn	006: Golomb rulers
08.dzn	006: Golomb rulers
09.dzn	006: Golomb rulers
10-3.dzn	015: Schur's Lemma
10.dzn	006: Golomb rulers
11.dzn	006: Golomb rulers
12.dzn	006: Golomb rulers
5-3.dzn	015: Schur's Lemma
7-3.dzn	015: Schur's Lemma
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
catfood_2.dzn	002: Template Design
catfood_3.dzn	002: Template Design
golfers_2_2_3.dzn	010: Social Golfers Problem
golfers_4_4_5.dzn	010: Social Golfers Problem
golfers_5_2_8.dzn	010: Social Golfers Problem
golfers_5_3_6.dzn	010: Social Golfers Problem
golfers_5_5_6.dzn	010: Social Golfers Problem
golfers_6_6_3.dzn	010: Social Golfers Problem
golfers_7_7_7.dzn	010: Social Golfers Problem
golfers_8_4_5.dzn	010: Social Golfers Problem
golfers_8_8_9.dzn	010: Social Golfers Problem
herbs_2.dzn	002: Template Design
herbs_3.dzn	002: Template Design
instances_mzn.zip	065: Optimal Financial Portfolio Design	A set of 23 instances ranging from small to realistic sizes
magazine_inserts_2.dzn	002: Template Design
magazine_inserts_3.dzn	002: Template Design
magazine_inserts_4.dzn	002: Template Design