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
Dear Hiroyuki,
Thanks for pointing this out. It is indeed flipped and I will update it sometime later.
If you want, you can check the 2024 benchmark set to clarify any further questions or try out your tool.
Best, Gidon
On 4/22/25 12:08 PM, Hiroyuki Katsura wrote:
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
chc-comp mailing list -- chc-comp(a)software.imdea.org To unsubscribe send an email to chc-comp-leave(a)software.imdea.org
-
Gidon Ernst -
Hiroyuki Katsura