Какую библиотеку питона стоит использовать для работы с булевой алгеброй?

Question

[Fluttercry]

Возникла у меня потребность провести некоторые вычисления связанные с дискретной математикой.

В частности:
1. Построение минимальных КНФ из полиномов Жегалкина или просто их таблиц истинности.
2. Операции над полиномами Жегалкина, вроде подстановки на место переменных других полиномов с последующим раскрытием скобок.

Модуль логики из sympy мне показался недостаточным для этих задач. На какие библиотеки стоит обратить внимание? Или остается лишь писать свой велосипед на numpy?

Comments

[NaName]

для булевой алгебры есть set, в нем пересечения и всякая прочая булева. дискретная математика это вроде бы перебо, графы и всякое такое не аналитическое (долгое??). скорее всего лучшей библиотекой будет сишная вставка (??)