this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 A3: false
7 B3: true
8- !Result
9 solution: !Solution
10 A3: true
11 B3: false
12***/
13
14% Regression test for bug #283: mzn2fzn's optimization pass left dangling
15% variables in the bool_search/4 annotation below.
16
17var bool : A3;
18var bool : B3;
19constraint (A3 <-> (not B3));
20solve :: seq_search([
21 bool_search([A3], input_order, indomain_min, complete)])
22 satisfy;
23output [
24 "A3 = ", show(A3), "\n",
25 "B3 = ", show(B3), "\n"
26];