dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / param_file / param_file_resolution.mzn
at develop 182 B view raw
1/*** 2--- 3!Test 4solvers: [gecode] 5extra_files: 6- param_file_resolution.mpc 7expected: !Result 8 status: SATISFIED 9 solution: !Solution 10 x: 1 11 y: 2 12***/ 13 14include "included.mzn";