4 releases
new 0.2.3 | May 16, 2024 |
---|---|
0.2.2 |
|
0.2.1 | Feb 23, 2024 |
0.2.0 | Aug 23, 2023 |
0.1.0 | Jul 11, 2023 |
#31 in #preprocessor
64 downloads per month
Used in scuttle
500KB
14K
SLoC
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.5–7MB
~87K SLoC