40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"int_set_as_type2",
50 "array[1..4] of var {1, 3, 4}: x :: output_array([1..4]);"
51 "solve satisfy;",
"x = array1d(1..4, [1, 1, 1, 1]);\n----------\n");
Gecode::FloatVal c(-8, 8)