BoolStuff

BoolStuff een C bibliotheek die enkele bewerkingen steunen Booleaanse uitdrukking binaire bomen.
Een commando genaamd booldnf dat deze bibliotheek om een ​​expressie te zetten naar de DNF is ook voorzien noemt

Kenmerken .

• een eenvoudige boolean expressie parser (ondersteunt operatoren AND, OR en NOT, evenals haakjes);
• een algoritme om een ​​logische expressie binaire boom te zetten in haar Disjunctieve normaalvorm (dit algoritme ondersteunt de NOT operator);
• een functie die bepaalt of een uitdrukking boom is in DNF.

Wat is nieuw in deze release:

• Deze versie lost een bug waar sommige uitdrukkingen die grote ontkenningen zou mislukken van een beweren verklaring in plaats van het terugzenden van de verwachte null expressie.
• Het lost ook een bug waar sommige dubbele termen niet zou worden ontdekt omdat de factoren die nodig zijn om te worden gesorteerd en zelf vereenvoudigd om dat detectie mogelijk te maken.
• Daarnaast g ++ 4.7.2 compilatie fouten werden vastgesteld (re: swap () functie)
.

Wat is nieuw in versie 0.1.12:.

• hebben Geheugenlekken vastgesteld
• Een bug met de expressie van een &! Een is vastgesteld.
• De broncode compileert nu zo is met g ++ 4.3.0.