Varisat - LRAT

Varisat SAT 求解器的 LRAT 证明生成器。

许可证

Varisat 源代码采用以下之一许可：

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

任选其一。

贡献

除非您明确声明，否则根据 Apache-2.0 许可证定义，您提交给 Varisat 的任何有意贡献将按照上述方式双许可，不附加任何额外条款或条件。

lib.rs:

Varisat SAT 求解器的 LRAT 证明生成器。