trs

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