Gurobi is a sophisticated mixed-integer programming solver. It can solve optimization problems with a combination of linear, quadratic and integrality constraints, and either linear or quadratic objective functions. Solutions are found by a branch and bound algorithm, augmented with pre-solve problem reductions, cutting planes, and heuristics. In addition, it can do parallel (multiple CPUs), distributed (several hosts) and concurrent (many CPUs and/or hosts applying different strategies) computing.

I used Gurobi to solve mixed-integer linear programming optimization problems, including the vehicle routing problem formulated in my master's thesis.