OxiDD is used at run time in 1 crate.

Depender (with downloads and own rev deps) OxiDD version
170 oxidd-cli ^0.8