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

Number of dependers RustSAT version Downloads/month
7 0.6.1 100
2 0.5.1 2
2 0.4.3 10
Depender (with downloads and own rev deps) RustSAT version
360 1 maxpre ^0.5.0
300 quaigh ^0.4
170 scuttle ^0.4.3
rustsat-glucose ^0.6.1
rustsat-ipasir ^0.6.1
rustsat-batsat ^0.6.0
1 rustsat-minisat ^0.6.1
rustsat-tools ^0.6.1
2 rustsat-cadical ^0.6.1
2 rustsat-kissat ^0.6.1
1 volute optional ^0.5.1