# Term Rewriting Systems

<table><tr>
  <td><a href="https://docs.rs/trs">Documentation</a></td>
  <td><a href="https://crates.io/crates/trs">Crate informations</a></td>
  <td><a href="https://github.com/regular-pv/trs">Repository</a></td>
</tr></table>

Provides Term Rewriting Systems for Rust using the [terms crate](https://crates.io/crates/terms).

## License

Licensed under either of

 * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)

at your option.

### Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any
additional terms or conditions.