Programma's van bdd-tree.sf.net

produceren volledige software pakket met behulp van de binaire beslissing diagram (BDD) vertegenwoordiging om logica kaarten te manipuleren voor ontwerp optimalisatie doelstellingen multiplyer{like(A +B)(C)(C)}In C ++ Core.C