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% mzn2fzn r14673 and before aborted on this model due to the test predicate
7% having a string argument.
8
9bool: b = true;
10
11string: s = "bar";
12
13test foo(string: i) = i = "foo" /\ b;
14
15var int: x = if foo(s) then 3 else 4 endif;
16
17solve satisfy;
18
19output ["x = ", show(x), ";\n"];