optimization - minizinc 中的最大约束量是多少

Question

我无法找到任何关于minizinc的求解器可以处理的最大变量和约束数量的参考。具体来说，我对 minizinc 的 mip 求解器很感兴趣。当我有大约 15k 个约束和大约 1000 个变量时，我在 8GB 的​​ Mac 上遇到了堆栈溢出错误。有谁知道这是否接近 minizinc 的实际限制？

Answer 1

看起来 minizinc 由于太多的限制而崩溃了。我能够使用另一个名为SCIP的开源 MIP 求解器/优化框架来模拟我的问题。我必须学习如何使用称为ZIMP的数学语言进行建模。