Read all about solvers:

• Default and Extensions
  Overview of the available solvers in AIMMS: the standard license, the solver extensions, and the open solver interface (for connecting your own solver).
• Supported Math Program Types
  Table containing the available solvers in AIMMS and the mathematical programming types they can solve.
• LP and MIP Solver Features
  A comprehensive overview of the various features that the LP and MIP solvers offer within AIMMS.
• Math Program Types Explanation
  Table containing the available mathematical programming types in AIMMS with abbreviation and full name.