this repo has no description
dekker.one
1
2% Regression test for bug #220. The assignment of the let-variable 'capacity'
3% below should result in an error message being produced during flattening
4% because there are different array indexes on the LHS and RHS.
5% mzn2fzn 1.3.1 and before do not detect this and instead produced an array
6% with an incorrect index set.
7
8int: K = 3;
9int: R = 3;
10
11constraint
12 forall ( k in 1..K, j in 1..R)
13 (let {
14 array[0..K] of int: capacity = [100000] ++ [k | k in 1..K]
15 }
16 in
17 trace( show(capacity) ++ " " ++ show(min(index_set(capacity))) ++"\n",
18 true)
19 );
20
21solve satisfy;