BoolStuff

BoolStuff adalah library C yang dapat mendukung beberapa operasi pada ekspresi boolean pohon biner.
Perintah bernama booldnf yang memanggil library ini untuk mengkonversi ekspresi ke DNF juga disediakan

Fitur :.

• sederhana boolean ekspresi parser (mendukung operator AND, OR dan NOT, serta kurung);
• sebuah algoritma untuk mengkonversi ekspresi pohon biner boolean ke yang berkesinambungan Bentuk Normal (algoritma ini mendukung operator NOT);
• fungsi yang menentukan apakah sebuah pohon ekspresi dalam DNF.

Apa yang baru dalam rilis ini:

• Rilis ini memperbaiki bug di mana beberapa ekspresi yang mengandung negations besar akan gagal pernyataan menegaskan bukannya kembali ekspresi nol yang diharapkan.
• Ini juga perbaikan bug di mana beberapa istilah duplikat tidak akan terdeteksi karena faktor mereka perlu disortir dan disederhanakan diri untuk memungkinkan deteksi itu.
• Selain itu, g ++ 4.7.2 kesalahan kompilasi yang tetap (re: swap () function)
.

Apa yang baru dalam versi 0.1.12:.

• kebocoran memori telah diperbaiki
• Sebuah bug dengan ekspresi a &! Telah diperbaiki.
• Kode sumber sekarang mengkompilasi seperti dengan g ++ 4.3.0.