RustSAT is used at run time in 17 crates (of which 2 optionally).
| Number of dependers | RustSAT version | Downloads/month |
|---|---|---|
| 16 | 0.7.5 | 2.1K |
| 1 | 0.4.3 | 0 |
| Depender (with downloads and own rev deps) | RustSAT version | |||
|---|---|---|---|---|
| 1.5K | 1 | rustsat-minisat | ^0.7.5 | |
| 650 | 6 | rustsat-cadical | ^0.7.5 | |
| 340 | 2 | maxpre | ^0.7.0 | |
| 300 | quaigh | ^0.4 | ||
| 280 | scuttle | ^0.7.1 | ||
| 240 | 1 | rustsat-glucose | ^0.7.5 | |
| 700 | 1 | volute | optional | ^0.7 |
| 1 | rustsat-batsat | ^0.7.5 | ||
| 2 | rustsat-kissat | ^0.7.5 | ||
| 1 | cadical-veripb-tracer | ^0.7.1 | ||
| 1 | demystify | ^0.7 | ||
| demystify-web | ^0.7 | |||
| rustsat-ipasir | ^0.7.5 | |||
| rustsat-tools | ^0.7.5 | |||
| sark0y_tam_rst | ^0.7.0 | |||
| 1 | scuttle-core | ^0.7.1 | ||
| pickaxe-rs | optional | ^0.7.5 | ||