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 #282: mzn2fzn's optimization pass left dangling
7% variables in the int_search/4 annotation below.
8
9var int : P;
10var int : Q;
11var int : R;
12constraint ((R + 1) = P);
13constraint ((R + 2) = Q);
14solve :: seq_search([int_search([P,Q,R], input_order, indomain_min, complete)])
15 satisfy;
16output [
17 "P = ", show(P), "\n",
18 "Q = ", show(Q), "\n",
19 "R = ", show(R), "\n"
20];