自动关系

提供使用 tree-automata 为 Rust 提供树自动关系的功能。这是一个用于创建 正则 CHC 求解器 的利基软件包。

许可证

根据以下任一许可证授权：

• Apache 许可证 2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

由您选择。

贡献

除非您明确说明，否则任何有意提交以包含在您的工作中的贡献，如 Apache-2.0 许可证中定义，应按上述方式双重许可，不附加任何额外条款或条件。