These solvers do both suboptimal and optimal solving. Optimal solving requires significantly more computing resources hence it requires using large data files that will need to be downloaded. If you just want quick solutions and do not need them to be optimal then use the Min2Phase Solver.
Quad-Core | Solver 2 |