dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_let_with_annotation.mzn
at develop 250 B view raw
1/*** 2!Test 3expected: 4- !Result 5 status: SATISFIED 6 solution: !Solution 7 x: 1 8- !Result 9 status: SATISFIED 10 solution: !Solution 11 x: 10 12***/ 13 14var 1..10: x :: add_to_output; 15 16constraint x = 17 let 18 { var int: a::domain } 19 in 20 a; 21 22solve satisfy;