this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected:
5- !Result
6 solution: !Solution
7 x: -2147483646
8 y: -2147483646
9 z: -2147483646
10- !Result
11 solution: !Solution
12 x: -500000000
13 y: -500000000
14 z: -500000000
15***/
16
17% Regression test for bug #67. The version of mzn2fzn from 2009
18% would abort because the wrong type-inst was inferred for the
19% anonymous variable below. This was (eventually) fixed in r13873.
20
21var int: x;
22var int: y;
23var int: z;
24
25constraint
26 [x, y][_] = z;
27
28solve :: int_search([x, y, z], input_order, indomain_min, complete) satisfy;
29output [];