Lib.rs

› Algorithms › Satif
#minisat #solver #sat #sat-solver #binding

satif-minisat

Rust wrapper for the minisat SAT solver

by Yuheng Su

2 releases

new 0.2.1 Oct 23, 2024
0.2.0 Oct 21, 2024

#1303 in Algorithms

Download history 210/week @ 2024-10-17

212 downloads per month

MIT license

94KB
2K SLoC

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

minisat-rs

minisat with rust binding

Dependencies

~1–2MB
~35K SLoC