Gurobi
Gurobi or the Gurobi Optimizer is a software for mathematical optimization. The solvers it uses are designed to solve linear, integer and quadratic optimization problems. These problems occur in a variety of applications, including logistics, manufacturing, finance, energy and telecommunications.
There are object-oriented interfaces for C++, Java, the .Net framework, MATLAB, Python and Julia (via JuMP) and a matrix-oriented interface for Python, R, MATLAB, C and Julia. The modeling languages AIMMS, AMPL, GAMS and MPL can be integrated.
No user support is offered. You can find support on the Gurobi Community website.