4.2.3.5. FlatZinc builtins added in MiniZinc 2.0.0.¶

These functions and predicates define built-in operations of the MiniZinc language that have been added in MiniZinc 2.0.0. Solvers that support these natively need to include a file called redefinitions-2.0.mzn in their solver library that redefines these predicates as builtins.

array_float_maximum¶

 predicate array_float_maximum(var float: m, array [int] of var float: x)  Constrains m to be the maximum value in array x.

array_float_minimum¶

 predicate array_float_minimum(var float: m, array [int] of var float: x)  Constrains m to be the minimum value in array x.

array_int_maximum¶

 predicate array_int_maximum(var int: m, array [int] of var int: x)  Constrains m to be the maximum value in array x.

array_int_minimum¶

 predicate array_int_minimum(var int: m, array [int] of var int: x)  Constrains m to be the minimum value in array x.

bool_clause_reif¶

 predicate bool_clause_reif(array [int] of var bool: as, array [int] of var bool: bs, var bool: b)  Reified clause constraint. Constrains $${\bf b} \leftrightarrow \bigvee_i {\bf as}[i] \lor \bigvee_j \lnot {\bf bs}[j]$$