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
216 downloads per month
Used in ric3
1MB
35K
SLoC
Kissat-rs
Rust wrapper for the kissat SAT solver
Dependencies
~12–22MB
~380K SLoC