Am generating a large 2d array in Minizinc(for instance, 250000X300) as I'm searching for solutions in this array. However, Minizinc seems not to be able to handle such large arrays and keeps stop working. Is there any way to solve this problem so that I can still get my solutions??? - do I need to rewrite my code - but I still need this large array which contains the solutions.
Asked
Active
Viewed 127 times
0
-
Don't use Minizinc... – visc Feb 11 '16 at 18:51
-
Really? But I thought it is powerful in solving optimization problems? – jan06 Feb 11 '16 at 21:32
-
75 million decision variables are just too many. I hope hey are binary and you can use Integer Linear Programming (not in Minizinc!) to solve that. – siritinga Feb 16 '16 at 07:58
-
Is it during compilation that it runs out of memory? The other alternative is to try to decompose your problems and solve parts of it in different runs. – Kobbe Mar 04 '16 at 19:27