BoolStuff

BoolStuff è una libreria C in grado di supportare alcune operazioni su booleane espressione alberi binari.
Un comando di nome booldnf che chiama questa biblioteca per convertire un'espressione alla DNF è prevista anche

Caratteristiche :.

• un semplice parser espressione booleana (supporta gli operatori AND, OR e NOT, così come parentesi);
• un algoritmo per convertire un valore booleano espressione albero binario nella sua Disgiuntiva forma normale (questo algoritmo supporta l'operatore NOT);
• una funzione che determina se un albero di espressione è in DNF.

Cosa c'è di nuovo in questa versione:

• Questa release corregge un bug in cui alcune espressioni contenenti grandi negazioni sarebbe riuscire un'istruzione assert invece di restituire l'espressione nullo previsto.
• Si risolve anche un bug in cui alcuni termini duplicati non sarebbero rilevati perché i loro fattori necessari per essere ordinati e si semplificate per consentire che il rilevamento.
• Inoltre, g ++ sono state fissate 4.7.2 errori di compilazione (re: funzione swap ())
.

Cosa c'è di nuovo nella versione 0.1.12:.

• Le perdite di memoria sono stati corretti
• Un bug con l'espressione di un &! Una è stato risolto.
• Il codice sorgente ora compila come è con g ++ 4.3.0.