Minizinc大阵列尺寸

Question

我正在Minizinc中生成一个大的2d数组（例如，250000X300），因为我在这个数组中搜索解决方案。然而，Minizinc似乎无法处理如此大的阵列并继续停止工作。有没有办法解决这个问题，以便我仍然可以得到我的解决方案??? - 我需要重写我的代码 - 但我仍然需要这个包含解决方案的大型数组。