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 a problem in mzn2fzn where failure of the
7% where clause was incorrectly being treated as equivalent to
8% model unsatisfiability.
9
10var bool: b = true;
11
12constraint
13 forall(c in 1..5 where forall([c mod 2 = 0])) (
14 c >= 0
15 );
16
17solve satisfy;
18
19output ["b = ", show(b), "\n"];