rustsat-cadical is used at run time in 2 crates (of which 2 optionally).

Number of dependers rustsat-cadical version Downloads/month
1 0.4.6 140
0 0.4.4 110
1 0.2.4 0
Depender (with downloads and own rev deps) rustsat-cadical version
190 rustsat-tools optional ^0.4.6
scuttle optional ^0.2.4