1 unstable release
new 0.2.0 | Oct 21, 2024 |
---|
#1406 in Algorithms
124 downloads per month
1MB
158 lines
Contains (static library, 1MB) libkissat.a
Kissat-rs
Rust wrapper for the kissat SAT solver
Dependencies
~1–1.7MB
~31K SLoC
new 0.2.0 | Oct 21, 2024 |
---|
#1406 in Algorithms
124 downloads per month
1MB
158 lines
Contains (static library, 1MB) libkissat.a
Kissat-rs
Rust wrapper for the kissat SAT solver
~1–1.7MB
~31K SLoC