minizinc中的power-of（pow）约束

Question

minizinc中可以支持pow约束的方式（直接或间接）吗？ Gecode支持带有float和int变量的pow constraint，但是Minizinc和FlatZinc不支持变量的pow。 Minizinc和Flatzinc仅支持模型参数。 任何指针可以在MiniZinc中添加对Flatzinc（mzn2fzn）解析器的支持来执行此操作。

我想要有一个约束，如 - “pow（4，x）== y”，即4^x == y。

Answer 1

我知道在当前版本的MiniZinc中使用pow/2和决策变量是不可能的。

也许用“存在”来模拟它就足够了？这里有一个简单的例子（在这个例子中“我”的域太大了）。

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]) ];