#sat-solver #proof #varisat #format

varisat-internal-proof

Varisat SAT 求解器内部证明格式

2 个版本

0.2.2 2020年9月9日
0.2.1 2019年5月18日

#2261 in 算法

Download history • Rust 包仓库 4050/week @ 2024-03-14 • Rust 包仓库 4510/week @ 2024-03-21 • Rust 包仓库 4322/week @ 2024-03-28 • Rust 包仓库 4357/week @ 2024-04-04 • Rust 包仓库 4747/week @ 2024-04-11 • Rust 包仓库 4535/week @ 2024-04-18 • Rust 包仓库 4588/week @ 2024-04-25 • Rust 包仓库 4449/week @ 2024-05-02 • Rust 包仓库 3542/week @ 2024-05-09 • Rust 包仓库 4057/week @ 2024-05-16 • Rust 包仓库 4403/week @ 2024-05-23 • Rust 包仓库 4355/week @ 2024-05-30 • Rust 包仓库 4617/week @ 2024-06-06 • Rust 包仓库 5309/week @ 2024-06-13 • Rust 包仓库 4973/week @ 2024-06-20 • Rust 包仓库 3683/week @ 2024-06-27 • Rust 包仓库

19,399 每月下载
19 个crate中使用 (2 个直接使用)

MIT/Apache

52KB
1K SLoC

Varisat

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

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

许可证

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

任选其一。

贡献

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


lib.rs:

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

依赖

~130KB