trs is a parsing library for the TRS format, the format for first-order rewrite systems.
Parsing library for the TRS format, the format for first-order rewrite systems.