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

#38 in #preprocessor

Download history 8/week @ 2024-12-05 7/week @ 2024-12-12

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

~1.9–4MB
~85K SLoC