Lib.rs

›
#preprocessor #bindings #maxsat

maxpre

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

by chrjabs

4 releases

0.2.3 May 16, 2024
0.2.2 May 14, 2024
0.2.1 Feb 23, 2024
0.2.0 Aug 23, 2023
0.1.0 Jul 11, 2023

#17 in #preprocessor


Used in scuttle

MIT license

500KB
14K SLoC

C++ 13K SLoC // 0.1% comments Rust 719 SLoC // 0.0% comments

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
~80K SLoC