dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / error_in_comprehension.mzn
at develop 184 B view raw
1/*** 2!Test 3expected: !Error 4 type: MiniZincError 5***/ 6 7array [int] of set of int: neighbours = 8 [ { true | C in {[0][8]} } 9 | R0 in 1..10, C0 in 1..15 10 ]; 11solve satisfy;