6 releases
| new 0.4.3 | Dec 16, 2024 |
|---|---|
| 0.4.2 | Dec 7, 2024 |
| 0.3.0 | Dec 6, 2024 |
| 0.2.0 | Oct 21, 2024 |
#819 in Algorithms
561 downloads per month
Used in ric3
1MB
35K
SLoC
Kissat-rs
Rust wrapper for the kissat SAT solver
Dependencies
~3–11MB
~139K SLoC