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
470 6 oxidd-dump ^0.9
430 1 oxidd-rules-mtbdd ^0.9
430 2 oxidd-reorder ^0.9
430 1 oxidd-rules-tdd ^0.9
430 1 oxidd-rules-bdd ^0.9
420 1 oxidd-manager-index ^0.9
420 1 oxidd-cache ^0.9
420 1 oxidd-rules-zbdd ^0.9
410 1 oxidd ^0.9
oxidd-cli ^0.9
3 oxidd-test-utils ^0.9
1 oxidd-manager-pointer ^0.9
460 6 oxidd-derive dev ^0.9