У меня есть график (схема BLIF), для которого я хочу преобразовать его в BDD [1] и затем в его ZDD [2] с помощью Pyeda.
Может кто-нибудь пролить свет на сложность, включенная в шаги [1] (Хочу ли я сначала найти булеву функцию из BLIF?) и [2]?