#pre-processor #bindings #maxsat

maxpre

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

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

#16 in #pre-processor

Download history 50/week @ 2024-07-29 13/week @ 2024-09-23

360 downloads per month
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
~83K SLoC