The Gurobi Optimizer is the state-of-the-art math programming solver able to handle all major problem types.