3 unstable releases
| 0.2.1 | Feb 23, 2024 |
|---|---|
| 0.2.0 | Aug 23, 2023 |
| 0.1.0 | Jul 11, 2023 |
#37 in #preprocessor
54 downloads per month
Used in scuttle
35KB
755 lines
Rust Bindings for MaxPre
Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.
lib.rs:
Rust MaxPre Interface
A Rust interface to the MaxPre preprocessor for MaxSAT.
Dependencies
~4–7.5MB
~98K SLoC