Ограничения мощности (pow) в minizinc

Question

Есть ли способ (прямой или косвенный), с помощью которого ограничения pow могут поддерживаться в minizinc. Gecode поддерживает pow constraint с переменными float и int, однако Minizinc и FlatZinc не поддерживают pow для переменных. Minizinc и Flatzinc поддерживают pow только для параметров модели. Любые указатели на то, где искать, чтобы добавить поддержку в парктронике MiniZinc to 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]) ];