220.127.116.11. 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|