Существует ли пакет python для обработки двоичных диаграмм принятия решений (BDD) и диаграмм двоичных решений с подавлением нуля (ZDD), как в томе 4 Кнута?
Я знаю, что networkx может обрабатывать DAG чисто, но я Я ищу что-то, что обрабатывает внутреннюю сборку мусора в ZDD, конструкции из алгебры семейств множеств (Knuth), построение BDD из диаграмм решений других типов и, возможно, некоторые примитивные ZDD и запросы (такие как выборка и подсчет).
Есть несколько пакетов на других языках: Java и C ++ . (Редактирование, расширяющее этот список, приветствуется.)
Редактировать - здесь перечислены несколько многообещающих инструментов: https://github.com/johnyf/tool_lists/blob/master/bdd.md
Edit2 - Graphillion пакет python, рекомендованный самим Минато на этих слайдах , может быть каноническим ответом. Тем более, что оно идет с этим прекрасным обучающим видео (которое идет с этой предысторией ).