Dear Gidon, Jose
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
> ADT-LIA-Arrays: Algebraic data-types + Linear Integer Arithmetic,
nonlinear clauses
Although the correction may seem minor, could you check and correct the
descriptions?
Best,
Hiroyuki