maxpre 0.2.2

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

Coverage
61.11%
33 out of 54 items documented0 out of 33 items with examples
Ø build duration
all releases: 43s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
chrjabs/maxpre-rs
0 0 0
crates.io
Dependencies
Versions
Owners

maxpre-0.2.2 has been yanked.

Rust Bindings for MaxPre

Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.