dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_reified_let_good.mzn
at develop 238 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 b: false 7 x: 1 8- !Result 9 solution: !Solution 10 b: false 11 x: 10 12***/ 13 14var 1..10: x; 15var bool: b; 16constraint b <-> ( let { var 1..10: y = x + 1 } in x = y ); 17solve satisfy;