9个版本
| 0.3.1 | 2024年6月12日 |
|---|---|
| 0.3.0 | 2024年4月30日 |
| 0.2.4 | 2024年2月23日 |
| 0.2.3 | 2024年1月11日 |
| 0.1.0 | 2023年8月23日 |
#2475 在 算法
86 每月下载量
用于 rustsat-tools
6.5MB
16K SLoC
rustsat-minisat - 为RustSAT提供Minisat SAT求解器的接口
与RustSAT库一起使用的Minisat SAT求解器。
功能
debug: 如果启用此功能，在以调试模式构建Rust项目时，将使用调试和检查功能构建C++库quiet: 禁用在求解期间向stdout的所有glucose内部打印（默认开启）
Minisat 版本
本crate中使用的minisat版本是2.2.0。使用的C++源代码仓库可以在此处找到。