Description
The trs-conversion tool allows to convert between different
formats of various rewrite systems. Currently it supports conversion to and
from the following formats:
- COPS: the format used in the COPS database and the confluence competition up until 2023
- ARI: the format first described at IWC 2023 and used in the confluence competition starting 2024
When calling trs-conversion we have to provide an input and an output format using the flags --from and --to
respectively. For example:
trs-conversion --from=COPS --to=ARI problem.trs
This converts the problem in file problem.trs in the COPS format to the ARI format.
For a full list of options call:
trs-conversion --help
NOTE: this is a preliminary version of the tool. Its behaviour and interface can and likely will change in the future.
Download
Below you can find an archive containing the source code fortrs-conversion. To build and or install the tool you need
to have GHC and
cabal (or stack)
installed on your system. You can then follow the instructions in the
contained README.md.
- source: trs-conversion-0.5.0.0.tar.gz