36namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"jobshop",
46 "array [1..4] of var 0..14: s :: output_array([1..4]);\
47var 0..14: end :: output_var;\
48var bool: b1 :: output_var;\
49var bool: b2 :: output_var;\
50var bool: b3 :: output_var;\
51var bool: b4 :: output_var;\
52constraint int_lin_le ([1,-1], [s[1], s[2]], -2);\
53constraint int_lin_le ([1,-1], [s[2], end ], -5);\
54constraint int_lin_le ([1,-1], [s[3], s[4]], -3);\
55constraint int_lin_le ([1,-1], [s[4], end ], -4);\
56constraint int_lin_le_reif([1,-1], [s[1], s[3]], -2, b1);\
57constraint int_lin_le_reif([1,-1], [s[3], s[1]], -3, b2);\
58constraint bool_or(b1, b2, true);\
59constraint int_lin_le_reif([1,-1], [s[2], s[4]], -5, b3);\
60constraint int_lin_le_reif([1,-1], [s[4], s[2]], -4, b4);\
61constraint bool_or(b3, b4, true);\
68s = array1d(1..4, [0, 2, 2, 7]);\n\
Gecode::FloatVal c(-8, 8)