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