It is a combinatorial optimization platform, to help solve linear, integer problems, and even non-linear problems.

As a platform, it helps to make the problems easier for the developer – it includes syntax error detection, charts, connection to databases and so on.

It is a powerful tool. I used it in consulting, to help solve big problems in the Brazilian industries.

The solver is a hard numerical library that solves the problem mathematically. We use Cplex, but we could use Gurobi, for example.

Other examples of Linear problem softwares: Lingo, Lindo, GLPK, Gurobi – there are several – and there are better solutions coming.

One good tip. There is an academic version of AIMMS. For those who are studying, you can request one.

https://www.aimms.com/english/developers/licensing/free-licenses/

in the links, some manuals about AIMMS.

https://www.aimms.com/english/developers/resources/manuals/

https://www.aimms.com/english/developers/resources/references-guides/