d4-cryptominisat-sys is used at run time in 3 crates.
| Depender (with downloads and own rev deps) | d4-cryptominisat-sys version | |||
|---|---|---|---|---|
| 1.1K | 2 | d4-arjun-sys | ^0.1 | |
| 800 | 1 | d4-gpmc-sys | ^0.1 | |
| 700 | d4-oxide | ^0.1 | ||
d4-cryptominisat-sys is used at run time in 3 crates.
| Depender (with downloads and own rev deps) | d4-cryptominisat-sys version | |||
|---|---|---|---|---|
| 1.1K | 2 | d4-arjun-sys | ^0.1 | |
| 800 | 1 | d4-gpmc-sys | ^0.1 | |
| 700 | d4-oxide | ^0.1 | ||