Varisat

Varisat 是一个基于 Rust 编写的 CDCL SAT 求解器。给定一个以合取范式表示的布尔公式，它要么找到一个使公式为真的变量赋值，要么找到一个证明这是不可能的。

这是命令行版本。Varisat 也可以作为库使用（在 crates.io 上 varisat ）。

许可证

Varisat 源代码的许可证为以下之一：

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

由您选择。

贡献

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