d4-cadical-sys is used at run time in 4 crates. It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | d4-cadical-sys version | |||
|---|---|---|---|---|
| 220 | 1 | d4-cadiback-sys | ^0.1 | |
| 220 | 2 | d4-cryptominisat-sys | ^0.1 | |
d4-cadical-sys is used at run time in 4 crates. It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | d4-cadical-sys version | |||
|---|---|---|---|---|
| 220 | 1 | d4-cadiback-sys | ^0.1 | |
| 220 | 2 | d4-cryptominisat-sys | ^0.1 | |