6 lines
95 B
Plaintext
6 lines
95 B
Plaintext
MODEL=zephyrus.mzn
|
|
DATA=12__10__8__3.dzn
|
|
METHOD=min
|
|
TAGS=challenge2019,zephyrus
|
|
TIMELIMIT=1200
|