Pyeda для конвертации BDD в ZDD

Question

У меня есть график (схема BLIF), который я хочу преобразовать в его BDD [1], а затем в его ZDD [2] с помощью Pyeda.

Может ли кто-нибудь пролить свет на сложность шагов [1] (хочу ли я сначала найти логическую функцию из BLIF?) И [2]?