dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug55.mzn
at develop 233 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5 solution: !Solution 6 x: 1 7***/ 8 9set of int: X = -1..1; 10set of int: Y = 0..3; 11 12var Y: y; 13 14function var X: f( var Y: y ) = y+1; 15 16var int: x :: add_to_output = f(y); 17 18solve satisfy;