3 releases
| 0.2.2 | Dec 7, 2024 |
|---|---|
| 0.2.1 | Oct 23, 2024 |
| 0.2.0 | Oct 21, 2024 |
#1942 in Algorithms
154 downloads per month
Used in ric3
94KB
2K
SLoC
minisat-rs
minisat with rust binding
Dependencies
~2–11MB
~131K SLoC
| 0.2.2 | Dec 7, 2024 |
|---|---|
| 0.2.1 | Oct 23, 2024 |
| 0.2.0 | Oct 21, 2024 |
#1942 in Algorithms
154 downloads per month
Used in ric3
94KB
2K
SLoC
minisat with rust binding
~2–11MB
~131K SLoC