dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / is_fixed.mzn
at develop 124 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 y: true 7***/ 8 9var 1..1: x; 10 11bool: y :: add_to_output = is_fixed(x);