Varisat - 公式

Varisat SAT求解器使用的常用公式数据类型。

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

许可证

Varisat源代码根据Apache License 2.0许可或MIT许可证授权。

• 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 SAT求解器使用的常用公式数据类型。