Gurobi Optimizer
Gurobi Optimizer is a leading mathematical optimization solver that enables users to make optimal decisions quickly and efficiently.
Has API
PricingFree
Free
Solving linear programming problems
Solving mixed-integer programming problems
Solving quadratic programming problems