Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. Java Decision Diagram Libraries
  5. Download

Java Decision Diagram Libraries 103

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

acerca de Java Decision Diagram Libraries

Este proyecto contiene dos bibliotecas diferentes de diagramas de decisión binaria (BDD): JBDD: una interfaz Java para dos bibliotecas BDD populares, CUDD y BuDDy. JDD: una biblioteca Java nativa compatible con BDD, Z-BDD y más (graph/automata/Petri nets/SAT)

Programas relacionados

  • Tableflow Gratis

    Tableflow es un componente web Java para conectar datos tabulares mediante un paradigma de flujo de datos ejecutable. Este proyecto incluye un componente de cuadrícula de datos avanzado, compatible con JSF que tiene soporte p

  • Internet Packet Debugger Gratis

    Depurador en tiempo real, filtro, sniffer y registrador de paquetes enviados y recibidos por Winsock v1/v2. Características como BreakPoints también incluidos. Puede editar paquetes en tiempo real antes de que el programa de

  • MDGen - Model-driven J2EE code generator Gratis

    MDGen es un generador de código J2EE basado en modelos de clase UML. Utiliza XML para describir un modelo de clase y aplica una plantilla XSL para generar EJB de sesión/entidad, código de Struts, descriptores de despliegue, s

  • mySQL32 Gratis

    mySQL32, una API dll de clase C++ diseñada para encapsular la API de MySQL C en métodos, miembros y modelo de objetos fáciles para desarrolladores que necesitan usar mySQL en sus aplicaciones sin llamar directamente a la API

  • MultiViL Gratis

    MultiViL es una herramienta para el aprendizaje multi-vista. Soporta cuatro clasificadores (KNN, Naive-Bayes, Rochio y SVM-Perf), cuatro métodos de combinación de vistas (Majority Voting, Borda Count, Dempster-Shafer theory o

  • Alexis Make Gratis

    Mantenga su software con amake (una utilidad make para desarrolladores). Admite fuertes transformaciones y reconocimiento de patrones. Se puede usar un único archivo MAKE para compilar un proyecto completo.

  • pypnetcdf Gratis

    PyPNetCDF es un paquete de Python basado en numéricos que permite leer y/o escribir en un archivo NetCDF en un entorno paralelo mediante MPI y una interfaz creada en la biblioteca PnetCDF. Los objetos son muy similares a las

  • libbinxml Gratis

    La biblioteca BINXML se creó para satisfacer la necesidad de una manera eficaz de incrustar datos binarios dentro de archivos xml. Proporciona rutinas para codificar y decodificar archivos binarios en archivos de texto UTF-16

  • OGen Gratis

    OGen es un generador de código. Genera código tanto en archivos de texto como en funciones de base de datos (PostgreSQL y SQL ServerSQL son compatibles actualmente) basado en metadatos xml y plantillas aspx/xslt proporcionada

  • HTTP Inspector Light Gratis

    Realice solicitudes HTTP GET, POST y HEAD y envíe encabezados personalizados. Admite SSL, incluidos los certificados autofirmados.A continuación, puede ver la respuesta desde el servidor, incluidos los encabezados y la re