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
dh_5_16.dzn	077: Stochastic Assignment and Scheduling Problem
dh_5_17.dzn	077: Stochastic Assignment and Scheduling Problem
dh_5_18.dzn	077: Stochastic Assignment and Scheduling Problem
dh_5_20.dzn	077: Stochastic Assignment and Scheduling Problem
dh_6_15.dzn	077: Stochastic Assignment and Scheduling Problem
dh_6_16.dzn	077: Stochastic Assignment and Scheduling Problem
dh_6_17_1.dzn	077: Stochastic Assignment and Scheduling Problem
dh_6_17_2.dzn	077: Stochastic Assignment and Scheduling Problem
dh_6_18.dzn	077: Stochastic Assignment and Scheduling Problem
easy-minizinc.dzn	008: Vessel Loading	An easy instance in the MiniZinc data format. Given mainly as an example.
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
harder-minizinc.dzn	008: Vessel Loading	Another instance in the MiniZinc data format.
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
Rostering-8-M-2-4.dzn	087: Rotating Rostering Problem
Wordpress_Offers20.dzn	090: Wordpress application deployment in the Cloud
Wordpress_Offers250.dzn	090: Wordpress application deployment in the Cloud
Wordpress_Offers40.dzn	090: Wordpress application deployment in the Cloud
Wordpress_Offers500.dzn	090: Wordpress application deployment in the Cloud