BoolStuff

BoolStuff є бібліотека C, яка може підтримувати кілька операцій на булевих виразів бінарних дерев.
Команда по імені booldnf, який викликає цю бібліотеку, щоб перетворити вираз в ДНФ також представлені

Особливості :.

• простий логічне Вирази (підтримує оператори AND, OR і NOT, а також дужках);
• алгоритм перетворення логічне вираження бінарне дерево в його диз'юнктивній нормальній формі (цей алгоритм підтримує оператор не);
• функція, яка визначає, чи є вираз дерево знаходиться в ДНФ.

Що нового У цьому випуску:

• Цей реліз виправляє баг, коли деякі вирази, що містять великі заперечення б збій в стверджувати про замість повернення очікуваного нульового вираження.
• Він також виправляє баг, коли деякі повторювані умови не будуть виявлені, оскільки їх фактори, необхідні для сортування та спрощену себе, щоб що виявлення.
• Крім того, г ++ 4.7.2 Помилки компіляції були встановлені (Re: Обмін () функція)
.

Що нового у версії 0.1.12 :.

• Витоку пам'яті були зафіксовані
• Виправлена ​​помилка з виразом в &! А була виправлена.
• Вихідний код тепер становить як з G ++ 4.3.0.