The FlatZinc predicates fzn_table_bool and fzn_table_bool_reif are broken. When used, Gecode reports:
Error: Type error: bool literal expected
The bindings in gecode/flatzinc/mznlib/ require the table to be represented as integer array, but the implementation in gecode/flatzinc/registry.cpp seems to expect a Boolean array.
The FlatZinc predicates
fzn_table_boolandfzn_table_bool_reifare broken. When used, Gecode reports:The bindings in
gecode/flatzinc/mznlib/require the table to be represented as integer array, but the implementation ingecode/flatzinc/registry.cppseems to expect a Boolean array.