# Automatic Relations

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

Provides Tree Automatic Relations for Rust using the [tree-automata](https://crates.io/crates/tree-automata).
This is kind of a niche crate used to create a [regular CHC solver](https://github.com/regular-pv/rchc).

## 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.