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
|
|