this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 y: !Range 1..3
7- !Result
8 solution: !Solution
9 y: !!set {2}
10***/
11
12% A regression test for G12 bug #69.
13%
14var set of 1..10: y;
15predicate p(var set of 1..3: x) = (2 in x);
16constraint p(y);
17solve satisfy;
18output ["y = ", show(y), ";\n"];