FlatZinc builtins added in MiniZinc 2.1.0.

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

In this section: float_dom, float_in.


predicate float_dom(var float: x, array [int] of float: as)

Constrains x to take one of the values in as


predicate float_in(var float: x, float: a, float: b)

Constrains axb