Это - это то, что я хочу сделать. Если я предпочитаю не использовать CUDD, а Graphillion, я хочу предсказать, какими будут мои внутренние процессы?
Скажем, у меня есть схема BLIF, которую я хочу преобразовать в соответствующую ей (BDD -> ZDD ) или прямо ЗДД.
Было бы что-то вроде этого:
Парсер BLIF (я пишу) работает на BLIF -> x -> ZDD / (BDD / ZDD)
Мой вопрос что такое х? Кроме того, в Graphillion есть встроенные функции для построения ZDD?