this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3include "inverse.mzn";
4
5%-----------------------------------------------------------------------------%
6% inverse
7%-----------------------------------------------------------------------------%
8array[1..4] of var -100..100: inv_f1 = [5, 7, _, _];
9array[5..8] of var -100..100: inv_f2 = array1d(5..8, [1, _, 2, _]);
10
11constraint inverse(inv_f1, inv_f2);
12
13solve satisfy;
14
15output [
16 "inv_f1 = array1d(1..4, ", show(inv_f1), ");\n",
17 "inv_f2 = array1d(5..8, ", show(inv_f2), ");\n"
18];