State of the art MIP solvers

"Leading-edge" Optimizadores para restricciones y programación entera - linear integer programming:

• CPLEX
• Gurobi
• Mosek
• GLPK
• CBC (Coin-OR)
• XPRESS
• lp_solve

Modelador en Java OptimJ (http://www.ateji.com/)

Microsoft Solver Foundation