this repo has no description
dekker.one
1/***
2!Test
3expected: !Error
4 type: MiniZincAssertionError
5***/
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), ";"];