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% Predicate style assertion.
11%
12constraint assert(forall (i in 1..9) (a[i] > a[i + 1]), "a not decreasing");
13
14var 1..10: x;
15
16constraint a[x] = max(a);
17
18solve satisfy;
19
20output ["x = ", show(x), ";\n"];