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日 |
#2554 in 算法
78 个月下载量
6.5MB
19K SLoC
包含 (Mach-o exe, 175KB) cppsrc/simp/glucose
rustsat-glucose - 为RustSAT提供Glucose SAT求解器接口
用于与RustSAT库一起使用的Glucose SAT求解器。
特性
debug: 如果启用此特性，当Rust项目以调试模式构建时，将使用调试和检查功能构建C++库quiet: 在求解过程中禁用所有glucose-内部打印到stdout（默认开启）
Glucose版本
此crate中的Glucose版本为4.2.1。使用的C++源代码仓库可以在这里找到。