BoolStuff

BoolStuff é uma biblioteca C que pode suportar algumas operações na expressão árvores binárias boolean.
Um comando booldnf nomeado que chama essa biblioteca para converter uma expressão para o DNF também é fornecido

Características :.

• a simples parser expressão booleana (suporta os operadores AND, OR e NOT, bem como parênteses);
• um algoritmo para converter uma expressão árvore binária boolean em sua disjuntiva normal Form (este algoritmo suporta o operador NOT);
• uma função que determina se uma árvore de expressão está em DNF.

O que é novo nesta versão:

• Esta versão corrige um bug onde algumas expressões que contêm grandes negações faria falhar uma instrução assert em vez de retornar a expressão nula esperado.
• Ele também corrige um bug onde alguns termos duplicados não seriam detectados porque seus fatores necessários para ser resolvido e eles mesmos simplificado para permitir que a detecção.
• Além disso, g ++ 4.7.2 erros de compilação foram fixados (re: função swap ())
.

O que é novo na versão 0.1.12:.

• Os vazamentos de memória foram corrigidos
• Um bug com a expressão a &! Um foi corrigido.
• O código-fonte agora compila como é com g ++ 4.3.0.