BoolStuff

BoolStuff библиотека C, которая может поддерживать несколько операций на булевых выражений бинарных деревьев.
Команда имени booldnf, что вызывает эту библиотеку, чтобы преобразовать выражение в ДНФ также предоставляется

Особенности :.

• простой логическое выражение парсер (поддерживает операторы И, ИЛИ, НЕ и, а также скобках);
• алгоритм для преобразования логическое выражение бинарного дерева в его дизъюнктивной нормальной форме (этот алгоритм поддерживает оператор не);
• функция, которая определяет, если выражение дерево в DNF.

Что нового В этом выпуске:

• Этот релиз исправляет баг, когда некоторые выражения, содержащие большие отрицания бы сбой в утверждать о вместо возвращения ожидаемого нулевого выражения.
• Это также исправляет баг, когда некоторые дублирующие условия не будут обнаружены, поскольку их факторы, необходимые для быть отсортированы и упрощенную себя, чтобы что обнаружение.
• Кроме того, G ++ 4.7.2 ошибки компиляции были установлены (Re: Обмен () функция)
.

Что нового в версии 0.1.12:.

• Утечки памяти были зафиксированы
• Исправлена ​​ошибка с выражением в &! а была исправлена.
• Исходный код Теперь компилирует как с г ++ 4.3.0.