16 releases
Uses new Rust 2024
| 0.2.2 | Sep 5, 2025 |
|---|---|
| 0.2.1 | Jul 4, 2025 |
| 0.2.0 | Jun 18, 2025 |
| 0.1.9 | Feb 26, 2025 |
| 0.1.3 | Dec 22, 2024 |
#896 in Algorithms
984 downloads per month
Used in ric3
1.5MB
40K
SLoC
Rust wrapper for the CaDiCaL SAT solver
Dependencies
~4–9MB
~194K SLoC