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

Number of dependers RustSAT version Downloads/month
7 0.6.5 0
0 0.6.4 600
2 0.5.1 18
2 0.4.3 1
Depender (with downloads and own rev deps) RustSAT version
550 1 rustsat-minisat ^0.6.5
360 1 maxpre ^0.5.0
300 quaigh ^0.4
950 1 volute optional ^0.5.1
110 rustsat-glucose ^0.6.5
110 2 rustsat-cadical ^0.6.5
100 rustsat-batsat ^0.6.5
100 2 rustsat-kissat ^0.6.5
rustsat-ipasir ^0.6.5
rustsat-tools ^0.6.5
scuttle ^0.4.3