rustsat-cadical is used at run time in 4 crates (of which 1 optionally).
| Depender (with downloads and own rev deps) | rustsat-cadical version | |||
|---|---|---|---|---|
| 280 | scuttle | ^0.7.1 | ||
| 1 | cadical-veripb-tracer | ^0.7.1 | ||
| 1 | scuttle-core | ^0.7.1 | ||
| 180 | rustsat-tools | optional | ^0.7.1 | |
rustsat-cadical is used at run time in 4 crates (of which 1 optionally).
| Depender (with downloads and own rev deps) | rustsat-cadical version | |||
|---|---|---|---|---|
| 280 | scuttle | ^0.7.1 | ||
| 1 | cadical-veripb-tracer | ^0.7.1 | ||
| 1 | scuttle-core | ^0.7.1 | ||
| 180 | rustsat-tools | optional | ^0.7.1 | |