FlatZinc builtins added in MiniZinc 2.3.3.

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

In this section: float_set_in.


predicate float_set_in(var float: x, set of float: S)
Constrains x \(\in\) S