3 unstable releases

0.2.1 Sep 1, 2020
0.2.0 Sep 1, 2020
0.1.0 Aug 27, 2019

#814 in Data structures

MIT/Apache

74KB
1.5K SLoC

Automatic Relations

Documentation Crate informations Repository

Provides Tree Automatic Relations for Rust using the tree-automata. This is kind of a niche crate used to create a regular CHC solver.

License

Licensed under either of

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.

Dependencies

~1MB
~17K SLoC