buddy 2.4
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 4.5/5 - 2 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de buddy
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 automático de referencias, y mucho más.