如何在 Flatzinc 輸出中生成具體化的“array_int_maximum”？

[英]How to produce a reified `array_int_maximum` in Flatzinc output?

鑒於以下 minizinc 程序： 和redefinitions-2.0.mzn文件 我希望得到一個具體化的版本作為展平的輸出，但我確實得到： 我如何以及在哪里添加我支持此謂詞的 reif 和 imp 版本的信息，因此處理速度可能比自動翻譯更快？ （此未解決問題的副本） ...

半具體化的謂詞是否被視為標准的一部分？

[英]Are half-reified predicates considered part of the standard?

FlatZinc 文檔說只有非標准謂詞必須在 FlatZinc model 的頂部聲明： model 中使用的非標准 FlatZinc 的謂詞必須在 FlatZinc model 的頂部聲明，在任何其他詞匯項之前。 謂詞聲明的形式 來源： 鏈接顯然，mzn2fzn 編譯器在編譯文件的頂部添加了 ...

物化和半物化謂詞

[英]reified and half-reified predicates

最近引起我注意的是，一些最新版本的FlatZinc支持半具體化的謂詞： 半具體化的謂詞本質上表示 Boolean 變量所隱含的約束，而不是等同於一個。 來源： 文檔問： 現在所有全局謂詞都有_reif版本嗎？ 所有全局謂詞也都有_imp版本嗎？ 查看share/minizinc/的內容，我可以看到在 ...

Gecode和G12（MIP）是否使用無限精度算法？

[英]Do Gecode and G12 (MIP) use infinite precision arithmetic?

我只想知道這兩個MiniZinc求解器是否默認都使用無限精度算法。 ...

FlatZinc文件中的這些`float_div`和`float_times`約束是什么？

[英]What are these `float_div` and `float_times` constraints in the FlatZinc file?

我只是嘗試在以下MiniZinc文件上運行mzn2fzn ： 這是生成的FlatZinc文件： mzn2fzn的版本如下： 我有以下問題： 什么是float_div約束， FlatZinc 1.6標准似乎沒有提到？ 什么是float_times約束， F ...

如何通過非標准FlatZinc擴展獲得有理數的精確無窮表示形式？

[英]How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?

默認情況下， mzn2fzn自動計算MiniZinc模型中浮點除法的結果，並將其存儲為結果FlatZinc模型中的恆定浮點值。 例： 文件test.mzn 翻譯成 等於 相反，我們想要獲得的***是一個FlatZinc文件，其內容如下： 其中floa ...

在mzn2fzn轉換期間如何傳播int域集？

[英]How to propagate set of int domains during mzn2fzn conversion?

我有以下MiniZinc代碼示例： 使用標准庫執行的mzn2fzn命令輸出以下FlatZinc代碼： 在這里，最初通知y被宣布為一個set of 1..100在MiniZinc模型，但mzn2fzn正確地傳播關於陣列的元件的邊界x到y ，使得FlatZinc模型聲明y是一個set ...

解析時選項類型的實例是什么？

[英]What is an instance of Option Type at parsing time?

關於選項類型 ，Minizinc的規范 （第6.6.3節）說： 概述。 使用opt類型構造函數定義的選項類型定義可能存在或可能不存在的類型。 它們類似於Haskell的Maybe類型，即為該類型隱式添加一個新值<> 。 [...] 初始化。 opt類型 ...