4.2.3.9. FlatZinc builtins added in MiniZinc 2.2.1.¶

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

In this section: int_pow_fixed.

int_pow_fixed¶

 predicate int_pow_fixed(var int: x, int: y, var int: z)  Constrains z = $${\bf x} ^ {{\bf y}}$$