BoolStuff 0.1.14
BoolStuff est une bibliothèque C qui peut soutenir quelques opérations sur les arbres binaires expression booléennes.Une commande booldnf nommé qui appelle cette bibliothèque pour convertir une expression à la DNF est également fourni Caractéristiques...