OxiDD is used at run time in 1 crate.

Depender OxiDD version
oxidd-cli ^0.9