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