Må ha Pedagogisk og vitenskap programvare For Pierre Sarrazin

BoolStuff er en C-bibliotek som kan støtte noen operasjoner på boolsk uttrykk binære trær.En kommando som heter booldnf som kaller dette biblioteket for å konvertere et uttrykk til DNF er også gitt Egenskaper . en enkel boolsk uttrykk parser...