Dear Florian, On 11/8/2023 5:39 PM, Florian Frohn wrote:
So if you compete, or are interested in, the TRS categories at TermComp, please let us know what you think. I'm also particularly interested in the following questions:
- If you participate, can your tool still parse the old format?
MU-TERM can deal with the original TPDB format.
- Do you recall more details about the reasons for the switch from the old format to the current one?
From a programming perspective, utilizing standard formats like XML or JSON to define TRSs is a good idea, given the availability of libraries that facilitate the transformation of these files into data structures (not in Haskell, where we use Parsec, but in Python, for example, there are libraries to do this automatically) and also to interact between different tools. However, from a user standpoint, it is crucial that TRSs can be easy to write. Best, Raúl.