4个版本
| 0.2.3 | 2024年5月16日 |
|---|---|
| 0.2.2 |
|
| 0.2.1 | 2024年2月23日 |
| 0.2.0 | 2023年8月23日 |
| 0.1.0 | 2023年7月11日 |
#35 in #preprocessor
50 每月下载量
用于 scuttle
500KB
14K SLoC
MaxPre的Rust绑定
Rust对（多目标）MaxSAT预处理程序MaxPre的绑定。
lib.rs:
Rust MaxPre接口
Rust对MaxSAT预处理程序MaxPre的接口。
依赖项
~4.5–6.5MB
~82K SLoC