1% This file contains redefinitions of standard builtins for version 2.2.1 2% that can be overridden by solvers. 3 4/** @group flatzinc.int Constrains \a z = \(\a x ^ {\a y}\) */ 5predicate int_pow_fixed(var int: x, int: y, var int: z) = 6 int_pow( x, y, z ); 7
dekker.one