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