Varisat

此crate定义了varisat crate内部使用的证明格式。

这是Varisat SAT求解器的内部依赖，不应直接使用。

许可证

Varisat源代码根据Apache License, Version 2.0或MIT license授权。

• Apache License, Version 2.0 (LICENSE-APACHE 或 http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

任选其一。

贡献

除非你明确声明，否则任何根据Apache-2.0许可证提交给Varisat的故意贡献都应如上所述双重授权，没有任何额外的条款或条件。

lib.rs:

Varisat SAT求解器内部证明格式。