Lib.rs

›
#preprocessor #binding #maxsat

maxpre

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre

by chrjabs

4 releases

new 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

#31 in #preprocessor

Download history 1/week @ 2024-02-15 165/week @ 2024-02-22 37/week @ 2024-02-29 7/week @ 2024-03-07 10/week @ 2024-03-14 35/week @ 2024-03-28 19/week @ 2024-04-04 64/week @ 2024-05-09

64 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–7MB
~87K SLoC