BoolStuff

BoolStuff jest biblioteką C, która może obsługiwać kilka operacji na wyrażenie logiczne drzew binarnych.
Komenda nazwie booldnf, że nazywa to biblioteka do konwersji wyrażenie do DNF jest również przewidziany

Opis .

• proste logiczna Przetwarzanie wyrażenia (obsługuje operatory AND, OR i NOT, a także nawiasach);
• Algorytm konwersji logiczną drzewo binarne ekspresyjnego do jego Dysjunkcyjna postać normalna (algorytm ten obsługuje operator nie);
• Funkcja, która określa, czy drzewa wyrażenie jest w DNF.

Co nowego w tym wydaniu:

• Ta wersja naprawia błąd, gdzie niektóre wyrażenia zawierające duże negacji będzie nie oświadczenia wymuszenia zamiast wrócić do oczekiwanego pustą wyrażenie.
• naprawia również błąd, gdzie nie można wykryć niektóre duplikaty terminy, ponieważ ich czynniki musiały być sortowane i uproszczony się, aby umożliwić, że wykrycie.
• Dodatkowo, g ++ 4.7.2 błędów kompilacji zostały ustalone (re: Funkcja wymiany ())
.

Co nowego w wersji 0.1.12:.

• Wycieki pamięci zostały ustalone,
• błąd z wyrażeniem w &! A został naprawiony.
• kod źródłowy teraz kompiluje jak to jest z g ++ 4.3.0.