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
6% Regression test for bug #290: this model caused self-assignments to
7% be created for introduced variables.
8
9% Dummy variable, for output only.
10var bool: b = true;
11
12set of int: R = 1..2;
13
14array[R,R] of int: a = array2d(R, R, set2array(1..card(R)*card(R)));
15
16array[R,R] of var 0..1: x;
17
18array[R] of var int: z = [ sum([a[s,t] * x[s,t] | t in R]) | s in R ];
19constraint forall([ z[s] = sum([a[s,t] * x[s,t] | t in R]) | s in R ]);
20
21solve satisfy;
22
23output ["b = ", show(b), "\n"];