5个版本 (3个重大更改)
| 0.5.0 | 2021年1月12日 |
|---|---|
| 0.4.0 | 2020年5月6日 |
| 0.3.1 | 2019年1月23日 |
| 0.3.0 | 2019年1月9日 |
| 0.2.0 | 2018年12月4日 |
#1575 in 算法
每月70次下载
155KB
3.5K SLoC
BatSat 
这是一个从ratsat（MiniSat的重新实现）分叉而来的Rust SAT求解器。
许可证
MIT许可证。
功能和目标
BatSat最初基于ratsat，一个minisat的克隆。然而，我们希望进一步扩展BatSat，并实现以下功能
- 生成证明（在DRAT）
- 轻松访问unsat-cores（作为假设的子集）
- 用于增量求解的ipasir接口
- 测试此接口
- 使用
log的调试框架（可选） - OCaml绑定
- 模板API以编写SMT求解器
- 来自Minisat+的简化技术（作为可选的内部结构）
依赖项
~120KB