I have just submitted our solver, and noticed that the genre explanation for ADT-LIA and ADT-LIA-Arrays appear to be reversed.

> ADT-LIA: Linear Integer Arithmetic + Arrays + non-recursive Algebraic data-types, nonlinear clauses

Although the correction may seem minor, could you check and correct the descriptions?

Best,

Hiroyuki