Lib.rs

› Algorithms › Satif
#solver #kissat #satif-kissat

satif-kissat

Rust wrapper for the kissat SAT solver

by Yuheng Su

11 releases

Uses new Rust 2024

0.4.8 Feb 26, 2025
0.4.7 Feb 19, 2025
0.4.3 Dec 16, 2024
0.3.0 Dec 6, 2024
0.2.0 Oct 21, 2024

#720 in Algorithms

Download history 330/week @ 2024-12-01 216/week @ 2024-12-08 162/week @ 2024-12-15 17/week @ 2024-12-22 1/week @ 2024-12-29 3/week @ 2025-01-05 2/week @ 2025-01-12 221/week @ 2025-02-02 158/week @ 2025-02-09 169/week @ 2025-02-16 155/week @ 2025-02-23 44/week @ 2025-03-02 1/week @ 2025-03-09 6/week @ 2025-03-16

213 downloads per month
Used in ric3

MIT license

1MB
35K SLoC

C 34K SLoC // 0.0% comments Shell 633 SLoC // 0.0% comments Rust 172 SLoC

Kissat-rs

Rust wrapper for the kissat SAT solver

Dependencies

~12–22MB
~391K SLoC