Programas por buddy.sf.net

Una biblioteca de diagramas de decisión binaria, con:muchas operaciones de BDD vectorizadas altamente eficientes,reordenación de variables dinámicas,recolección automatizada de basura,una interfaz de C++ con conteo au