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

Number of dependers RustSAT version Downloads/month
7 0.6.1 400
2 0.5.1 53
2 0.4.3 23
Depender (with downloads and own rev deps) RustSAT version
370 2 rustsat-kissat ^0.6.1
370 1 rustsat-minisat ^0.6.1
370 rustsat-glucose ^0.6.1
360 2 rustsat-cadical ^0.6.1
360 1 maxpre ^0.5.0
330 rustsat-ipasir ^0.6.1
310 rustsat-tools ^0.6.1
190 rustsat-batsat ^0.6.0
scuttle ^0.4.3
quaigh ^0.4
1 volute optional ^0.5.1