dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / output_only_no_rhs.mzn
at develop 104 B view raw
1/*** 2!Test 3solvers: [gecode] 4expected: !Error 5 type: MiniZincTypeError 6***/ 7 8var int: x :: output_only;