SMT-LIB 2.6

这是一个为 Rust 设计的 SMT-LIB 2.6 解析/格式化库。目标是遵守语言的官方规范。

它可以用来创建自己的 SMT-LIB 兼容求解器，或者与现有的求解器交互。

为了涵盖整个语言，还需要做更多的工作。该包不再积极开发，但可以根据需求添加新功能。如果您需要语言的一些部分尚未处理，请提交问题。欢迎新的贡献。

许可证

许可为以下任一项：

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

任选。

贡献

除非您明确说明，否则您根据 Apache-2.0 许可证定义的，旨在包含在作品中并由您提交的任何贡献，将根据上述许可证双许可，不附加任何额外条款或条件。