BoolStuff

BoolStuff är en C-bibliotek som kan stödja några operationer på booleska uttryck binära träd.
Ett kommando som heter booldnf som kallar detta bibliotek för att konvertera ett uttryck för DNF finns också

Funktioner :.

• en enkel boolska uttrycket parser (stöder operatörer AND, OR och NOT, samt parenteser);
• en algoritm för att konvertera ett booleskt uttryck binärt träd i sin Normalform (denna algoritm stöder INTE operatören);
• en funktion som avgör om ett uttryck träd är i DNF.

Vad är nytt i den här versionen:

• Denna utgåva rättar en bugg där vissa uttryck som innehåller stora negationer skulle misslyckas en hävda uttalande stället för att återvända den förväntade noll uttryck.
• Det fixar också en bugg där vissa dubbletter termer inte skulle upptäckas eftersom deras faktorer som behövs för att sorteras och förenklas sig att tillåta att detektering.
• Dessutom g ++ 4.7.2 kompileringsfel fixerades (re: swap () funktion)
.

Vad är nytt i version 0.1.12:.

• Minnesläckor har fastställts
• En bugg med uttrycket a &! A har fastställts.
• Källkoden kompileras nu som är med g ++ 4.3.0.