I would like to know which would be the best constraint solvers (commercial or open source) designed to handle complex optimization problems of several tens of thousands of variables and several thousand constraints, and why?
Ideally, a solver capable of tackling using efficient heuristics, in a distributed computing context.
Thank you in advance for your suggestions, best regards.