dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug55.mzn
at develop 191 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3 4set of int: X = -1..1; 5set of int: Y = 0..3; 6 7var Y: y; 8 9function var X: f( var Y: y ) = y+1; 10 11var int: x = f(y); 12 13solve satisfy; 14 15output [ show(x) ];