Deve ter Software educacional e científica Para Pierre Sarrazin

BoolStuff é uma biblioteca C que pode suportar algumas operações na expressão árvores binárias boolean.Um comando booldnf nomeado que chama essa biblioteca para converter uma expressão para o DNF também é fornecido Características :. a simples...