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