this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5 solution: !Solution
6 b: true
7***/
8
9% Regression test for a problem in mzn2fzn where failure of the
10% where clause was incorrectly being treated as equivalent to
11% model unsatisfiability.
12
13var bool: b :: add_to_output = true;
14
15constraint
16 forall(c in 1..5 where forall([c mod 2 = 0])) (
17 c >= 0
18 );
19
20solve satisfy;