#minisat #solver #sat #sat-solver #binding

satif-minisat

Rust wrapper for the minisat SAT solver

7 releases

new 0.2.6 Feb 9, 2025
0.2.5 Feb 3, 2025
0.2.4 Jan 22, 2025
0.2.2 Dec 7, 2024
0.2.1 Oct 23, 2024

#1926 in Algorithms

Download history 159/week @ 2024-10-23 1/week @ 2024-10-30 129/week @ 2024-12-04 27/week @ 2024-12-11 5/week @ 2024-12-18 1/week @ 2025-01-08 231/week @ 2025-01-22 90/week @ 2025-01-29 153/week @ 2025-02-05

474 downloads per month
Used in ric3

MIT license

95KB
2K SLoC

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

minisat-rs

minisat with rust binding

Dependencies

~12–22MB
~381K SLoC