chrjabs / maxpre-rs

Rust interface to the MaxPre preprocessor for MaxSAT

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rust Bindings for MaxPre

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

About

Rust interface to the MaxPre preprocessor for MaxSAT

License:MIT License


Languages

Language:Rust 100.0%