what's the maximum amount of constraints in minizinc

Question

I haven't been able to find any reference as to what is the maximum amount of variables and constraints that minizinc's solvers can handle. Specifically I'm interested minizinc's mip solver. I've been getting stack overflow errors on my mac with 8GB when I have about 15k constraints and about 1000 variables. Does anyone know if that's something close to minizinc's real limitations?

Answer 1

It looks like minizinc was crashing due to too many constraints. I was able to model my problem using another open source MIP solver/optimization framework called SCIP. I had to learn how to model using mathematical language called ZIMP.