7 releases
new 0.2.6 | Feb 9, 2025 |
---|---|
0.2.5 | Feb 3, 2025 |
0.2.4 | Jan 22, 2025 |
0.2.2 | Dec 7, 2024 |
0.2.1 | Oct 23, 2024 |
#1926 in Algorithms
474 downloads per month
Used in ric3
95KB
2K
SLoC
minisat-rs
minisat with rust binding
Dependencies
~12–22MB
~381K SLoC