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