minizinc中最大限制量是多少

Question

我无法找到minizinc解算器可以处理的最大变量和约束量的参考。具体来说，我对minizinc的mip求解器感兴趣。当我有大约15k的约束和大约1000个变量时，我已经在我的mac上获得了8GB的堆栈溢出错误。有谁知道这是否接近minizinc的真正局限？

Answer 1

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