Gurobi Solver for AMPL

Developer: Gurobi Optimization, Inc.

Current version: 10.0

Problem types supported: Linear and quadratic optimization in continuous and integer variables with high-level constraints such as min/max, and/or, as well as nonlinear functions via piecewise-linear approximation.

Special forms detected: Convex and non-convex quadratic expressions in objectives and constraints; conic quadratic constraints; indicator constraints.

Algorithms available: For continuous problems, primal and dual simplex, interior-point (barrier); for integer problems, advanced branch-and-bound with presolve, feasibility heuristics and cut generators.

Special features: Global optimization of non-convex quadratic problems. Shared-memory parallel processing for barrier, branch-and-bound. Distributed concurrent optimization and tuning to leverage multiple machines. Streamlined access to cloud services. Special facilities for multi-objective optimization and infeasibility diagnosis.