Gurobi

Gurobi Optimizer, commonly referred to as Gurobi, is a commercial mathematical optimization solver developed by Gurobi Optimization, LLC. It is designed to solve a broad class of optimization problems, including linear programming (LP), mixed-integer programming (MIP), quadratic programming (QP), mixed-integer quadratic programming (MIQP), and quadratically constrained quadratic programs (QCQP). Gurobi emphasizes speed and reliability, with multi-core parallel processing and advanced numerical methods that handle large-scale models efficiently.

Key features include powerful presolve techniques that reduce model size, cutting planes and heuristics for MILP, and robust branch-and-bound search. It supports callback functions for custom algorithms and experimentation, solution pools to obtain multiple best solutions, and warm starting to reuse information from similar solves.

APIs and language support: Gurobi provides official interfaces for Python, C++, Java, C#, MATLAB, R, and Julia. It can be used directly from these languages or via modeling tools such as JuMP (Julia), Pyomo and PuLP (Python), or AMPL/GAMS integrations.

Licensing and usage: Gurobi is a commercial solver. Academic licenses and trial versions are available; it is widely used in industry and academia for optimization-based decision making in logistics, manufacturing, finance, energy, and transportation. The solver is accompanied by documentation and customer support to assist model development and tuning.