5 releases
| new 0.2.5 | May 1, 2025 |
|---|---|
| 0.2.3 | May 16, 2024 |
| 0.2.1 | Feb 23, 2024 |
| 0.2.0 | Aug 23, 2023 |
| 0.1.0 | Jul 11, 2023 |
#10 in #binding
324 downloads per month
Used in scuttle
500KB
14K
SLoC
Rust MaxPre Interface
A Rust interface to the MaxPre preprocessor for MaxSAT.
Rust Bindings for MaxPre
Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.
Dependencies
~2–4MB
~87K SLoC