4.2.3.13. Deprecated FlatZinc builtins

These builtin constraints are no longer produced by the MiniZinc compiler, and they will be removed in future versions of MiniZinc.

In this section: array_bool_or.

array_bool_or

predicate array_bool_or(array [int] of var bool: xs, var bool: b)

Constrains \({\bf b} \leftrightarrow \bigvee_i {\bf xs}[i]\)