36namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"bugfix_r6746",
"\
46array[1 .. 3] of var 0 .. 9: differences; \
47array[1 .. 3] of var 0 .. 9: mark :: output_array([1..3]); \
48constraint int_lt(mark[2], mark[3]); \
49constraint int_lt(0, mark[2]); \
50constraint int_eq(mark[1], 0); \
51constraint int_plus(differences[3], mark[2], mark[3]); \
52constraint int_lt(differences[1], differences[3]); \
53constraint int_eq(differences[2], mark[3]); \
54constraint int_eq(differences[1], mark[2]); \
55constraint int_ne(differences[1], differences[2]); \
56constraint int_ne(differences[1], differences[3]); \
57constraint int_ne(differences[2], differences[3]); \
59 ::int_search(mark, input_order, indomain, complete) \
61",
"mark = array1d(1..3, [0, 1, 3]);\n\
Gecode::FloatVal c(-8, 8)