minizinc で pow 制約をサポートできる方法 (直接的または間接的) はありますか? Gecode は float および int 変数を使用したpow 制約をサポートしていますが、Minizinc および FlatZinc は変数の pow をサポートしていません。Minizinc と Flatzinc は、モデルへのパラメーターに対してのみ pow をサポートします。これを行うために、MiniZinc のサポートを Flatzinc (mzn2fzn) パーサーに追加する場所に関するポインタ。
- " pow( 4, x ) == y " 、つまり 4^x == y などの制約が必要です。