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}}\), {bf z} is constrained to 1 div pow(x, abs(y)) when \({\bf y} < 0\) *