Varisat - DIMACS

Varisat SAT 求解器的 DIMCAS CNF 解析器和写入器。

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

许可证

Varisat 源代码根据 Apache License，版本 2.0 或 MIT 许可证进行许可。

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

任选其一。

贡献

除非您明确声明，否则您提交给 Varisat 的任何贡献，根据 Apache-2.0 许可证定义，应双许可如上所述，没有任何附加条款或条件。

lib.rs:

Varisat SAT 求解器的 DIMCAS CNF 解析器和写入器。