minizinc中的幂(pow)约束

Question

是否有任何方式(直接或间接)可以在minizinc中支持pow约束。Gecode支持带有浮点和int变量的pow约束，但是Minizinc和FlatZinc不支持变量的pow。Minizinc和Flatzinc只对模型的参数支持pow。任何关于在何处添加MiniZinc中对Flatzinc (mzn2fzn)解析器的支持的指针都可以这样做。

我希望有一个约束，例如-“pow( 4，x) == y”，即4^x == y。

Answer 1

据我所知，在当前版本的MiniZinc中，不可能在决策变量中使用pow/2。

也许用“存在”来模仿它就足够了？下面是一个简单的示例(本例中"i“的域太大)。

var 0..10000: x;
var 0..10000: y;
solve satisfy;

constraint
      exists(i in lb(x)..ub(x)) (
         i = x /\
         pow(4,i) = y
      )
;

output [ show([x,y]) ];