|
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++源代码仓库可以在这里找到。