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 | 1 | cadical-veripb-tracer | ^0.7.1 | |
| 120 | scuttle | ^0.7.1 | ||
| 120 | 1 | scuttle-core | ^0.7.1 | |
| 160 | rustsat-tools | optional | ^0.7.1 | |