4.2.3.12. 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: as, var bool: r)
Constrains \({\bf r} \leftrightarrow \bigvee_i {\bf as}[i]\)