this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_mip
4% Test assertions that should succeed.
5
6array [1..10] of int: a =
7 [i | i in 1..10];
8
9% Predicate style assertion.
10%
11constraint assert(forall (i in 1..9) (a[i] < a[i + 1]), "a not increasing");
12
13% Function style assertion.
14%
15test even(int: x) = (x mod 2 = 0);
16
17array [1..10] of int: b =
18 [assert(even(2 * a[i]), "that's odd...", 2 * a[i]) | i in 1..10];
19
20var 1..10: x;
21
22constraint b[x] = max(b);
23
24solve satisfy;
25
26output ["x = ", show(x), "\n"];