4 releases
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 |
#16 in #pre-processor
360 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–6.5MB
~83K SLoC