Varisat - Checker

Varisat SAT 求解器生成的证明的校验器。

此crate的功能通过主 Varisat crate重新导出。

许可证

Varisat 源代码许可方式为以下之一

• Apache License, Version 2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 https://open-source.org.cn/licenses/MIT)

任选其一。

贡献

除非你明确表示，否则根据Apache-2.0许可证定义，你提交的任何有意包括在Varisat中的贡献都将以上述方式双许可，不附加任何额外条款或条件。

lib.rs:

Varisat 证明的校验器。