This repository is the home of three tools:
- trs-converion: can converts between the ARI and COPS formats
- format-type: extracts the type of the problem from the ARI format
- ari-syntax-checker: checks if a ARI problem is syntactically correct
To build the tool using stack just run the command
stack build trs-conversion
After building you can run the respective tool with:
stack exec trs-conversion -- --from FORMAT --to FORMAT FILE
stack exec format-type -- FILE
stack exec ari-syntax-checker -- FILE
where FORMAT can be "COPS", "ARI" or CPF3 (latter only supported as target).
Running
stack install
will build the tools and put them into the $HOME/.local/bin directory.