this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 solution: !Solution
5 x: 4
6***/
7
8% mzn2fzn r14673 and before aborted on this model due to the test predicate
9% having a string argument.
10
11bool: b = true;
12
13string: s = "bar";
14
15test foo(string: i) = i = "foo" /\ b;
16
17var int: x :: add_to_output = if foo(s) then 3 else 4 endif;
18
19solve satisfy;
20
21output ["x = ", show(x), ";\n"];