oxidd-rules-zbdd is used at run time in 2 crates (of which 2 optionally). It is a direct run-time dependency in 1 crate.

Depender (with downloads and own rev deps) oxidd-rules-zbdd version
430 1 oxidd optional ^0.9