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