# 4.2.3.8. FlatZinc builtins added in MiniZinc 2.1.1.¶

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

In this section: max, min.

## max¶

 function var $$E: max(var set of$$E: s)  Returns variable constrained to be equal to the maximum of the set s. An alternative implementation can be found in the comments of the source code.

## min¶

 function var $$E: min(var set of$$E: s)  Returns variable constrained to be equal to the minimum of the set s. An alternative implementation can be found in the comments of the source code.