Model Types
GAMS is able to formulate models in many different types of problem classes or model types. Typically, a solver will be capable of solving (i.e. will accept as input) more than one model type. The solver/model type matrix shows which solver is capable of which model type:

* deterministic global solver ** Here model type EMP excludes EMP-SP

When choosing a solver, some judgement should be applied when considering the listed model type capabilities for the solver - the same capability "check boxes" does not imply equality in capacity or suitability. For example, take a hypothetical solver WeOpt designed to solve MINLP models. Since the problem class MINLP includes NLP, MIP, and LP as subclasses, solver WeOpt could include these capabilities also. If WeOpt is also a good performer on NLP models, it would include that capability. But if it does not shine at all as a MIP or LP solver, we would choose not to include MIP and LP in the capability list for WeOpt. In such a case one can always solve using a more general model type (e.g. solve an LP model as NLP so WeOpt can be used), but WeOpt will not advertise itself as an LP solver. Since the WeOpt solver does not even recognize MCP or MPEC models, we don't include those capabilities.

There are two types of non-linear solvers: local and global. A local solver can find a local optimum but generally cannot comment on global optimality of the solution. A local optimum is a point where the objective value is better than its neighboring points but could be worse than a distant point. On the other hand, a global solver can find and prove that the obtained solution is a global optimum i.e., there is no feasible solution that would result in a better objective value. It is worth noting that a local solver can solve a model to global optimality in some special cases. In the table shown, the entries with * in the column Global indicate solvers that can solve a model to global optimality.

There are other differences in solvers that are difficult to quantify or cannot be captured by a capability table like the one shown. For example, for nonconvex NLP or QCP models, one solver could look only for first-order stationary points, another for local solutions, a third for local solutions using a scatter search or similar search heuristic, and a fourth could do a true global search for the global optimum. The relative merits (measured typically by speed alone) of solvers is the subject of considerable benchmarking activity and discussion.

The GAMS sales team can help answer questions you may have about solver capability. We also offer free evaluation licenses to help you decide what solvers are most suitable for your models.

如需詢價以下任一Solvers, 請於詢價單附註
 

1 Performance will depend heavily on the choice of the selected sub-solver(s).
2 Maximum model size: 2000 constraints and 3000 variables

General Information
The GAMS Base Module includes the GAMS Language Compiler, GAMS-APIs, and many utilities.
All solvers are included in the system, but without a valid license, size limitations apply.
The GAMS End User License Agreement governs the use of the software, and is available on our website.

Solvers
• A GAMS/Solver connects the GAMS Base module to a particular solver and includes a license for this solver to be used through GAMS. It is not necessary to install additional software.
• A GAMS/Solver-Link connects the GAMS Base Module to a particular solver, but does not include a license for the solver. It may be necessary to install additional software before the solver can be used.
The use of the GAMS/Solver-Links, including the Open Source Links to commercial solvers requires confirmation that the user has a valid license agreement for use of the current version of the solver library,
and that the use of the solver will comply with the terms of that license agreement.
• Each solver has specific capabilities and strengths. Detailed information about the solvers, the availability on the supported platforms, and the model types they are capable of solving are available at this link. 

Supported Platforms
GAMS supports the following platforms:

Note
Compared to most of the GAMS system, GAMS Studio has some additional system requirements which are detailed here.
While the GAMS execution system itself is available on all supported platforms, for certain solvers, tools, and APIs, different availabilities can apply.