Lib.rs

› Algorithms › Satif
#mini-sat #sat-solver #bindings

satif-minisat

Rust wrapper for the minisat SAT solver

by Yuheng Su

8 releases

0.2.7 Feb 19, 2025
0.2.6 Feb 9, 2025
0.2.4 Jan 22, 2025
0.2.2 Dec 7, 2024
0.2.1 Oct 23, 2024

#5 in #mini-sat

Download history

666 downloads per month

MIT license

95KB
2K SLoC

C++ 1.5K SLoC // 0.2% comments Rust 233 SLoC

minisat-rs

minisat with rust binding

Dependencies

~3–10MB
~215K SLoC