Documentation for the Gurobi Optimizer