this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 b: true
7***/
8
9% Simplified regression test for bug #290: this model caused a self-assignment
10% to be created for one of the introduced variables.
11
12% Dummy variable, for output only.
13var bool: b :: add_to_output = true;
14
15array[1..2,1..2] of int: a = array2d(1..2, 1..2, [1, 2, 3, 4]);
16array[1..2,1..2] of var 0..1: x;
17array[1..2] of var int: z = [ sum([a[s,t] * x[s,t] | t in 1..2]) | s in 1..2 ];
18constraint z[1] = sum([a[1,t] * x[1,t] | t in 1..2]);
19
20solve satisfy;
21
22output ["b = ", show(b), "\n"];