向 Minizinc model 添加“show”語句需要太長時間才能解決

[英]Adding "show" statement to Minizinc model takes too long to solve

我目前正在嘗試在 Minizinc 中開發一個（相當基本的）model。 到目前為止，我已經達到了一個點，我可以運行 model 並找到一個令人滿意的解決方案（基本上調用“解決滿足”給出了一個解決方案，尚未轉向優化）。 對於一個特定的實例，我在大約 3.5 分鍾內得到了解決方案。 但是，當我添加一個 ...

錯誤：Gecode：Float::linear：數量超出限制

[英]Error: Gecode: Float::linear: Number out of limits

我正在 Minizinc 2.5.3（最新版本）和 Gecode 6.3.0 上構建一個簡單的 model 來嘗試組織武器生產操作。 運行代碼時，出現如下錯誤： 我一直在閱讀有關使用 Gecode 浮動變量的一些限制，但我不知道問題出在求解器還是我的代碼（附加）。 我嘗試將所有變量更改為 integ ...

為什么這個簡單的 Gecode 示例無法編譯？

[英]why does this simple Gecode example not compile?

我正在嘗試學習gecode並試圖讓此處找到的示例起作用。 // To use integer variables and constraints #include <gecode/int.hh> // To make modeling more comfortable #include ...

輸入順序對約束求解器性能的影響

[英]Impact of input order on performance of constraint solver

輸入（boolean 和算術方程）順序對 Gecode 等約束求解器和 Microsoft Z3 等 SMT 求解器是否重要？ 如果是的話，如果我可以在 Gecode 中使用分支 function 來利用一些已知的啟發式方法，那么這兩者中哪一個會表現得更好？ （注：不知道function類似於Ge ...

Gecode branch() function 的 z3 替代方案？

[英]z3 alternative for Gecode branch() function?

在像 Gecode 這樣的約束求解器中，我們可以借助分支 function 來控制搜索空間的探索。例如branch(home, x, INT_VAL_MIN )這將從變量 x 在其域中的最小可能值開始探索搜索空間並嘗試找到解決方案。（有很多這樣的選擇。） 對於 z3，我們有這種內置的靈活性嗎？ 任 ...

約束求解器與 SMT 求解器

[英]Constraint solver vs SMT solver

有人可以給我一些可以使用 SMT 求解器（如 microsoft z3）解決但不能由約束求解器（如 Gecode）解決的示例嗎？ 約束求解器和 SMT 求解器的基本區別是什么？ ...

如何在gecode中打印變量的值

[英]How to print values of variables in gecode

我正在嘗試使用 gecode 求解線性方程 15 * x + y + 0.4*z == 100。 我想打印 x,y,z 的值。 但是，當我運行以下代碼時， 我得到 output 為 [1..6] [10..85] [1..100]。 但我期待一個有效的解決方案，如 1 83 5 分別作為 xyz 值 ...

用於受限隨機化的 Gecode 與 Z3

[英]Gecode vs. Z3 for Constrained Randomization

我正在尋找 SystemVerilog 語言的基於 C++ 的替代方案。 雖然我懷疑任何東西都可以與 SystemVerilog 約束語言的簡單性和靈活性相媲美，但我已經決定使用 Z3 或 Gecode 來完成我的工作，主要是因為它們都在 MIT 許可下。 我正在尋找的是： 支持可變大小的位 ...

如何最大化大於 32 位的 var int？

[英]How to maximize a var int that is larger than 32 bits?

我正在使用帶有內置 Gecode 6.1.1 的 minizinc，我想最大化一個目標函數，其值遠大於最大 int 32。32 位整數的最大值是 2147483646。雖然似乎沒有太多信息與minizinc 參考中整數的最大值有關。 然而，下面的測試表明 Minizinc 使用 32 位整數。 測 ...

如何使用cmake將gecode作為外部庫包含在我的c ++項目中？

[英]how to include gecode as an external library in my c++ project using cmake?

我是CMake的新手，並且需要一個簡單問題的指導：通過以下鏈接從Ubuntu 18.04計算機中的源代碼構建gecode。 該庫安裝在/opt/gecode-release-6.2.0目錄中。 我有一個C ++簡單項目，其源代碼使用gecode庫函數，並且該項目是使用CMake構建的。 但 ...

如何在Linux上使用Gecode Framework運行.cpp文件？

[英]How to run a .cpp file with Gecode Framework on Linux?

我使用Ubuntu 18.04，並嘗試編譯Gecode帶來的示例“ money.cpp”文件。 我下載了（gecode-release-5.1.0.tar.gz）並將其解壓縮。 然后，要安裝Gecode，請執行以下步驟： （1）./ configure（2）制作 我得到滿意的安裝 ...

Gecode：使用浮點值約束整數變量

[英]Gecode: constraining integer variables using a float value

我在帶有正反示例的學習上下文中通過其C++ API使用Gecode 。 在這種情況下，我有兩個BoolVarArray ： positive_bags_和negative_bags_ 。 我想做的事情很簡單：我想根據用戶參數gmin ，以最小的增長率約束這些袋子。 因此，約束應類似 ...

矩陣中的GECODE成對區分列

[英]GECODE Pairwise Distinct Columns In A Matrix

我正在研究GECODE求解器，以實現矩陣生成問題。 我已經弄清了我需要的所有約束，除了一個約束： Given a Matrix[M, N], all column vectors must be pairwise distinct. 這是我想寫的代碼： 但是我不知道如何用提 ...

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

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

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

顯示時間與Minizinc模型中的實際求解時間不同

[英]Display time differs from actual solving time taken in Minizinc model

我編寫了一個大型的minizinc模型，其中包含帶有int_search語句的var變量，用於正確排序。 它包含輸出語句，其中我使用fix（var variables）語句來輸出變量值，並且包含一些使用內置函數sum，bool2int等的函數。現在，當我運行模型時，它會在很長一段時間后顯示在屏 ...

Gecode中的替代分支策略

[英]Alternate branching strategies in Gecode

我在這里發問，是否有辦法改變分支的不同策略。 讓我解釋一下，我有一個有效的分支策略，我們將其稱為A。 最大的問題是策略A不能經常使用。 因此，當我無法使用策略A時 ，我將使用效率較低的另一種策略，我將其稱為策略B。 該文檔說： 分支機構訂單。 創建分支程序會將其注冊到其本 ...

在Gecode中，從功績函數訪問房屋/空間變量值

[英]In Gecode, accessing home/space variables values from merit function

在Gecode中 ，我在分支時使用merit函數選擇變量。 為了計算變量v的優值，我需要訪問其他一些變量值 ，但是看起來在調用merit函數時，空間變量尚未分配任何值： 難道我做錯了什么？ 有沒有辦法在優點函數中訪問變量值？ ...

MiniZinc中的基數約束

[英]Cardinality constraints in MiniZinc

MiniZinc約束求解器允許使用內置的sum()函數非常容易地表達基數約束 ： 當且僅當布爾變量數組中的true元素的數字是指定的時，才滿足基數約束。 布爾值自動映射到整數值0和1以計算總和。 我將自己的基數約束謂詞實現為一組計數器切片： 此實現使用並行編碼，切片之間的 ...

Minizinc，如何創建地圖或字典數據結構

[英]Minizinc, how to create a map or a dictionary datastructure

關於Minizinc的語法，我有一個簡單的問題。 我的輸入.dzn文件包含一組2維數組（大約最多30個數組），聲明如下： 注意：索引號中有間隙（例如，12 - > 20） 在我的模型中，我需要根據變量的值使用其中一個數組。 在通用編程語言中，我將使用地圖或字典數據結構來解 ...

Minizinc，Gecode，如何通過多解決方案模型在分布式服務器上獲得相同的解決方案？

[英]Minizinc, Gecode, how to get an identical solutions across distributed servers, with multi-solution model?

我正在使用minizinc和gecode以分布式方式解決最小化問題。 我有多個分布式服務器，它們使用相同的輸入來解決相同的模型，並且希望所有服務器都獲得相同的解決方案。 問題在於該模型具有多個解決方案，這會定期導致服務器獨立提出不同的解決方案。 只要所有服務器之間的解決方案都相同，選擇 ...