OxiDD is used at run time in 1 crate.

Depender (with downloads and own rev deps) OxiDD version
110 oxidd-cli ^0.9