Какую библиотеку питона стоит использовать для работы с булевой алгеброй?
Возникла у меня потребность провести некоторые вычисления связанные с дискретной математикой.
В частности:
1. Построение минимальных КНФ из полиномов Жегалкина или просто их таблиц истинности.
2. Операции над полиномами Жегалкина, вроде подстановки на место переменных других полиномов с последующим раскрытием скобок.
Модуль логики из sympy мне показался недостаточным для этих задач. На какие библиотеки стоит обратить внимание? Или остается лишь писать свой велосипед на numpy?
для булевой алгебры есть set, в нем пересечения и всякая прочая булева. дискретная математика это вроде бы перебо, графы и всякое такое не аналитическое (долгое??). скорее всего лучшей библиотекой будет сишная вставка (??)
