minizinc - Minizinc 大阵列维度

Question

我正在 Minizinc 中生成一个大型二维数组（例如，250000X300），因为我正在寻找这个数组中的解决方案。但是，Minizinc 似乎无法处理如此大的阵列并一直停止工作。有什么办法可以解决这个问题，这样我仍然可以得到我的解决方案？？？- 我需要重写我的代码吗 - 但我仍然需要这个包含解决方案的大数组。