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