AIMMS is a modeling software that features a mixture of declarative and imperative programming styles. Optimization models can be formulated in the style of algebraic modeling languages, with sets and indices, as well as multidimensional parameters, variables and constraints. Units of measurement are natively supported in the language. AIMMS has a interface to many linear and non-linear solvers and is designed for large-scale optimization and scheduling-type problems. The syntax is very verbose and each element consists of a number of attributes, it is like an entry in a database table with the attributes as fields.

   2.6.1 A non-transitive relation (dice)