dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / empty-array1d.mzn
at develop 250 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 x: [] 7***/ 8 9% mzn2fzn and soln2out aborted when evaluating this model in 10% r14647 and before. 11 12array[1..0] of var bool: x; 13x = array1d(1..0, []); 14solve satisfy; 15output ["x = ", show(x), "\n"];