Solvers

Mathematical Programming solution algorithms, solvers for short, are the muscles inside AIMMS applications. The articles in this section contain tips and tricks for steering these solvers and interpreting their solutions and behavior.

• Change the Frequency of Progress Updates
• Retrieve Solver Log Files in AIMMS Developer
• Retrieve Solver Log Files in AIMMS PRO
• Overview: Generated Mathematical Programs
• Set Stop Criteria for Math Programs
• Generate Multiple Solutions with CP Optimizer
• Use Alternative MIP Solutions with CPLEX Solution Pool
• Automatic Benders’ Decomposition
• Solve with Benders Decomposition in CPLEX
• Solve with Lazy Constraints
• Debug Infeasible or Unbounded Results
• Change the Default Solvers Used
• Create Local Solver Configuration
• Solve MINLP problems with AOA
• Check if Variable Values Satisfy Constraints
• Use a Multi-Objective Approach
• Tune CPLEX Options from AIMMS
• Solve in Parallel with Asynchronous Solver Sessions
• Adding a Solver