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)