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 |