Lib.rs

› Algorithms › Satif
#sat-solver #kissat

satif-kissat

Rust wrapper for the kissat SAT solver

by Yuheng Su

1 unstable release

0.2.0 Oct 21, 2024

#1439 in Algorithms

Download history 101/week @ 2024-10-15 57/week @ 2024-10-22

158 downloads per month

MIT license

1MB
158 lines

Contains (static library, 1MB) libkissat.a

Kissat-rs

Rust wrapper for the kissat SAT solver

Dependencies

~1–1.7MB
~30K SLoC