#sat-solver #kissat

satif-kissat

Rust wrapper for the kissat SAT solver

9 releases

new 0.4.6 Feb 9, 2025
0.4.5 Feb 3, 2025
0.4.3 Dec 16, 2024
0.3.0 Dec 6, 2024
0.2.0 Oct 21, 2024

#1189 in Algorithms

Download history 153/week @ 2024-10-20 5/week @ 2024-10-27 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 214/week @ 2025-02-02

216 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
~380K SLoC