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

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