← All resourcesCOPT
A mathematical optimization solver for large-scale optimization problems. It is independently developed by Cardinal Operations, and it includes high-performance solvers for LP, MIP, SDP, (MI)SOCP, convex (MI)QP, convex (MI)QCP and exponential cone programming.
Visit COPT ↗
- GurobiSolverGurobi Optimizer is a prescriptive analytics platform and a decision-making technology developed by Gurobi Optimization, LLC. The Gurobi Optimizer (often referred to as simply, “Gurobi”) is a solver, since it uses mathematical optimization to calculate the answer to a problem.
- HiGHSSolverHiGHS is open-source software to solve linear programming (LP), mixed-integer programming (MIP), and convex quadratic programming (QP) models.
- Discord: HiGHSCommunityThe HiGHS Discord server.
- Optimization via Relaxation and DecompositionBookThis book offers an up-to-date description of relaxation/approximation and decomposition techniques, demonstrating how their combined use efficiently solves large-scale optimization problems relevant to engineering, particularly in electrical, and industrial engineering, with a focus on energy.
- Gurobi blogBlogBlog with news from Gurobi, the company behind one of the most important solvers globally
- Land-Doig CompetitionChallengeThe 2026 Land-Doig MIP Competition is a computational competition hosted by the 2026 Mixed Integer Programming Workshop, offering an opportunity for teams to showcase their practical and computational prowess and fostering innovation in computational MIP. It is named in honor of Ailsa H. Land and Alison G. Harcourt (née Doig), who proposed the first LP-based branch-and-bound algorithm.