Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. buddy

buddy 2.4

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.5/5 - ‎2 ‎Votos
Descargar

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.

historial de versiones

  • Versión BuDDy%202.4 publicado en 2004-07-28
    Varias correcciones y actualizaciones
  • Versión BuDDy 2.4 publicado en 2004-07-28

Detalles del programa

Programas relacionados

  • 1-Click Duplicates Delete (Outlook) Prueba gratuita

    Busca/elimina elementos de calendario duplicados, e_mails y contactos con solo 1 clic. Todo se puede deshacer. Los elementos de contacto no se eliminan simplemente, sino que se fusionan, y se fusionan con las mejores informac

  • TurboVB Prueba gratuita

    TurboVB es una herramienta integrada de complementos para VB6 - una mejora importante a su IDE. Tiene más de 40 complementos que le proporcionarán ganancias de productividad reales. Las horas ahorradas por esta herramienta

  • gwave Gratis

    Gwave es un visor de forma de onda para la salida de circuito electrónico analógicosimuladores como la especia. Muestra los datos como trazados 2D, ypermite el desplazamiento interactivo, el zoom y la medición de laOnda

  • Common Lisp bindings to GTK+ Gratis

    clg es una interfaz al kit de herramientas gráficas GTK+ para las implementaciones CMUCL, SBCL y CLISP de Common Lisp.

  • Caption It Gratis

    Subtítulo Es la mejor aplicación de subtítulos de fotos en el Android Market! Este fabricante de subtítulos de fotos le permite hacer subtítulos en sus fotos y compartir con sus amigos.Comparta con lo siguiente:*Faceboo

  • DataSetEditor Gratis

    DataSetEditor es un editor gráfico para archivos de conjunto de datos XML dbUnit. Incluye un editor de texto y, si se proporciona el controlador de base de datos, importa los diseños de tabla de la base de datos.

  • AdvancedFileBrowser Prueba gratuita

    Por favor, pruebe la versión gratuita antes de comprar.Buscar Android Market para "Patrón cifrar" para la descarga de la versión gratuita.Advanced File Browser es la versión extendida de la versión gratuita.Caracterí

  • GibbsLDA++: A C/C++ Gibbs Sampling LDA Gratis

    GibbsLDA++: Implementación de C/C++ de asignación de dirichlet latente (LDA) mediante el muestreo Gibbs para la estimación de parámetros y la inferencia. GibbsLDA++ es rápido y está diseñado para analizar estructuras temática

  • DICE Grader Gratis

    DICE es un sistema de evaluación en línea basado en el análisis para cursos de programación C y Java. El sistema compilará y ejecutará programas de alumnos con casos de prueba proporcionados por el instructor y, a continuació

  • JEvaluate Gratis

    Una biblioteca Java para analizar y evaluar expresiones matemáticas, que puede tratar con valores numéricos, fechas, texto y booleanos, y puede detectar referencias circulares. También puede crear sus propias funciones, cambi