|
Product
|
Formulations Supported
|
| Variable Types |
| Integer, Binary |
Semi-continuous |
Arbitrary Discrete (SOS1) |
Piecewise Linear (SOS2) |
Other |
| AIMMS, The Modeling System |
y |
y |
y |
y |
|
| AMPL |
y |
|
y |
y |
|
| AMPL Studio/AMPL COM Object |
y |
y |
y |
y |
|
| C-WHIZ |
y |
y |
y |
y |
|
| DATAFORM |
|
|
|
|
|
| FortMP & FortMP-MEX |
y |
y |
y |
y |
|
| FortSP/SPInE |
y |
y |
y |
y |
|
| Frontier Analyst |
|
|
|
|
|
| GAMS |
y |
y |
y |
y |
|
| GENO |
y |
y |
y |
y |
Procedural constraints |
| GIPALS - Linear Programming Environment & GIPALS32 - Linear Programming Library |
|
|
|
|
|
| ILOG CPLEX |
y |
y |
y |
y |
|
| ILOG OPL-CPLEX Development System |
y |
y |
y |
y |
Logical constraints including AND, OR, IF-THEN |
| KNITRO Optimization Solver |
y |
|
|
|
|
| LAMPS |
y |
y |
y |
y |
|
| Large-Scale LP/QP Solver Engine |
y |
|
|
|
Alldifferent (permutations) |
| Large-Scale SQP Solver Engine |
y |
|
|
|
Alldifferent (permutations) |
| LINDO API |
y |
y |
y |
y |
|
| Linear Programming Tool |
|
|
|
|
|
| LINGO |
y |
y |
y |
y |
|
| LOQO |
|
|
|
|
|
| LPMT |
|
|
|
|
|
| lp_solve |
y |
y |
y |
y |
|
| MINTO |
y |
|
y |
|
|
| MOSEK |
y |
|
|
|
Alldifferent (permutations) |
| MOSEK Optimization Tools |
y |
|
|
|
|
| MPL Modeling System |
y |
y |
y |
y |
Nonlinear |
| NAG C Library |
y |
y |
|
y |
|
| OML (Optimization and Modeling Library) |
y |
y |
y |
y |
|
| OMP Supply Chain Suite |
y |
y |
|
|
Semi-integer, parital integer |
| OptiMax 2000 Component Library |
y |
y |
y |
y |
Nonlinear |
| PCx |
|
|
|
|
|
| Premium Solver |
y |
|
|
|
Alldifferent (permutations) |
| Premium Solver Platform |
y |
|
|
|
Alldifferent (permutations) |
| Quantitative Methods Software (QMS) |
y |
|
|
|
|
| SAS |
y |
|
|
|
|
| Solver Platform SDK |
y |
|
|
|
Alldifferent (permutations) |
| SOPT (Smart Optimizer) version 4.0 |
y |
|
y |
|
|
| TOMLAB |
y |
y |
y |
y |
|
| TOMNET |
y |
y |
y |
y |
|
| TOMVIEW |
y |
y |
y |
y |
|
| Vanguard System |
y |
|
|
|
|
| What'sBest |
y |
|
|
|
Lookup tables |
| XA Professional Linear Programming System |
y |
y |
y |
y |
Fractional, hundreds, thousands, Fibonacci and power sequences |
| XPRESS Solver Engines |
y |
|
|
|
Alldifferent |
| Xpress-MP Suite |
y |
y |
y |
y |
|