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}}\) |