oxidd-core is used at run time in 12 crates. It's used only as a dev dependency in 1 crate.
Depender (with downloads and own rev deps) | oxidd-core version | |||
---|---|---|---|---|
450 | 6 | oxidd-dump | ^0.10 | |
440 | 1 | oxidd-rules-zbdd | ^0.10 | |
430 | 1 | oxidd | ^0.10 | |
430 | 1 | oxidd-manager-index | ^0.10 | |
430 | 2 | oxidd-reorder | ^0.10 | |
430 | 1 | oxidd-rules-mtbdd | ^0.10 | |
430 | 1 | oxidd-cache | ^0.10 | |
430 | 1 | oxidd-rules-bdd | ^0.10 | |
420 | 1 | oxidd-rules-tdd | ^0.10 | |
160 | 1 | oxidd-manager-pointer | ^0.10 | |
150 | 3 | oxidd-test-utils | ^0.10 | |
140 | oxidd-cli | ^0.10 | ||
450 | 6 | oxidd-derive | dev | ^0.10 |