Rust interface to the MaxPre preprocessor for MaxSAT
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Rust bindings for the (multi-objective) MaxSAT preprocessor MaxPre.
License:MIT License