8 releases
| 0.2.7 | Feb 19, 2025 |
|---|---|
| 0.2.6 | Feb 9, 2025 |
| 0.2.4 | Jan 22, 2025 |
| 0.2.2 | Dec 7, 2024 |
| 0.2.1 | Oct 23, 2024 |
#2251 in Algorithms
383 downloads per month
Used in ric3
95KB
2K
SLoC
minisat-rs
minisat with rust binding
Dependencies
~12–22MB
~393K SLoC