this repo has no description
dekker.one
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 if y=0 then z=1 elseif y=1 then z=x else z=product([x | i in 1..y]) endif;
7