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]\) |