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
500 6 oxidd-dump ^0.8
480 1 oxidd-manager-index ^0.8
480 1 oxidd-rules-zbdd ^0.8
470 1 oxidd-rules-mtbdd ^0.8
470 1 oxidd-rules-tdd ^0.8
470 1 oxidd-cache ^0.8
470 2 oxidd-reorder ^0.8
470 1 oxidd-rules-bdd ^0.8
460 1 oxidd ^0.8
180 1 oxidd-manager-pointer ^0.8
180 3 oxidd-test-utils ^0.8
170 oxidd-cli ^0.8
500 6 oxidd-derive dev ^0.8