RustSAT is used at run time in 11 crates (of which 1 optionally).

Number of dependers RustSAT version Downloads/month
7 0.6.6 250
0 0.6.4 600
2 0.5.1 16
2 0.4.3 1
Depender (with downloads and own rev deps) RustSAT version
750 1 rustsat-minisat ^0.6.6
360 1 maxpre ^0.5.0
350 2 rustsat-cadical ^0.6.6
340 rustsat-glucose ^0.6.6
330 2 rustsat-kissat ^0.6.6
330 rustsat-batsat ^0.6.6
320 rustsat-ipasir ^0.6.6
300 quaigh ^0.4
260 rustsat-tools ^0.6.6
950 1 volute optional ^0.5.1
scuttle ^0.4.3