2 releases
new 0.2.1 | Oct 23, 2024 |
---|---|
0.2.0 | Oct 21, 2024 |
#1303 in Algorithms
212 downloads per month
94KB
2K
SLoC
minisat-rs
minisat with rust binding
Dependencies
~1–2MB
~35K SLoC
new 0.2.1 | Oct 23, 2024 |
---|---|
0.2.0 | Oct 21, 2024 |
#1303 in Algorithms
212 downloads per month
94KB
2K
SLoC
minisat with rust binding
~1–2MB
~35K SLoC