5 releases
| 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 |
#1157 in Math
Used in 2 crates
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
~4–11MB
~233K SLoC