this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6% Regression test for bug #141.
7% In mzn2fzn 1.1.5 'x' was not being marked as an output variable in the
8% generated FlatZinc because the code that processed output items was
9% ignoring the assignments for any let variables.
10
11array[1..9] of var 1..9: x;
12
13solve satisfy;
14
15output
16 let { array[1..9] of 1..99: y =
17 [ sum(s2 in 1..9)( fix(x[s2]) ) | s in 1..9 ] }
18 in
19 [ show(y) ];