Varisat

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

这是库版本。Varisat还可用作命令行求解器（在varisat-cli on crates.io上）。

文档

• 用户手册
• 库API文档

开发者文档

内部API使用rustdoc进行文档说明。可以使用 cargo doc --document-private-items --all --exclude varisat-cli 或 在线查看（master）。

您还可以阅读关于varisat开发的一系列博客文章。

许可

Varisat源代码的许可方式为以下之一

• Apache License，版本2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT许可 (LICENSE-MIT 或 https://open-source.org.cn/licenses/MIT)

任选其一。

贡献

除非您明确说明，否则您提交给Varisat以包含在内的任何贡献，根据Apache-2.0许可定义，将双重许可如上，不附加任何额外条款或条件。