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

Depender (with downloads and own rev deps) rustsat-cadical version
120 scuttle ^0.7.1
120 1 cadical-veripb-tracer ^0.7.1
120 1 scuttle-core ^0.7.1
160 rustsat-tools optional ^0.7.1