Depending on which solvers are allowed by your AIMMS license, you might have multiple solvers capable of solving a given type of mathematical program (e.g. LP, MIP).



In this case, you can instruct AIMMS in a variety of ways which solver should be used to solve a problem of a specific type.



Here is explained how to change the default solver