16 unstable releases (3 breaking)
Uses new Rust 2024
| 0.5.2 | Sep 5, 2025 |
|---|---|
| 0.5.1 | Jul 4, 2025 |
| 0.5.0 | Jun 18, 2025 |
| 0.4.10 | Jun 11, 2025 |
| 0.2.0 | Oct 21, 2024 |
#1015 in Machine learning
Used in ric3
1MB
35K
SLoC
Kissat-rs
Rust wrapper for the kissat SAT solver
Dependencies
~2.9–8.5MB
~179K SLoC