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% Test assertions that should succeed.
6
7array [1..10] of int: a =
8 [i | i in 1..10];
9
10% Function style assertion.
11%
12test odd(int: x) = (x mod 2 = 1);
13
14array [1..10] of int: b =
15 [assert(odd(2 * a[i]), "that's odd...", 2 * a[i]) | i in 1..10];
16
17var 1..10: x;
18
19constraint b[x] = max(b);
20
21solve satisfy;