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 #283: mzn2fzn's optimization pass left dangling
7% variables in the bool_search/4 annotation below.
8
9var bool : A3;
10var bool : B3;
11constraint (A3 <-> (not B3));
12solve :: seq_search([
13 bool_search([A3], input_order, indomain_min, complete)])
14 satisfy;
15output [
16 "A3 = ", show(A3), "\n",
17 "B3 = ", show(B3), "\n"
18];