term_rewriting (cargo): A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Keywords: parser|term-rewriting|language|rewriting|rust|rust-library