Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

Este projeto contém duas bibliotecas diferentes de Diagramas de Decisão Binária (BDD): JBDD: uma interface Java para duas bibliotecas BDD populares, CUDD e BuDDy. JDD: uma biblioteca java nativa que suporta BDD, Z-BDD e muito mais (gráfico/autômato/redes de Petri/SAT)

história da versão

  • Versão JDD.jar-build103 postado em 2009-03-10
    Várias correções e atualizações
  • Versão JDD.jar-build103 postado em 2009-03-10

Detalhes do programa

Programas Relacionados

  • Tableflow Livre

    Tableflow é um componente da Web Java para conectar dados tabulares usando um paradigma de fluxo de dados executável. Este projeto inclui um componente avançado da grade de dados, compatível com o JSF que tem construção em su

  • Internet Packet Debugger Livre

    Depurador, filtro, farejador e madeireiro em tempo real de pacotes enviados e recebidos por Winsock v1/v2. Recursos como BreakPoints também estão incluídos. Você pode editar pacotes em tempo real antes que o programa de desti

  • MDGen - Model-driven J2EE code generator Livre

    MDGen é um gerador de código J2EE baseado em modelos uml. Ele usa xml para descrever um modelo de classe e aplica o modelo XSL para gerar EJBs de sessão/entidade, código Struts, descritores de implantação, scripts de criação/

  • mySQL32 Livre

    mySQL32, um API DLL classe C++ projetado para encapsular a API MySQL C em métodos fáceis, membros e modelo objet para desenvolvedores que precisam usar o mySQL em seus aplicativos sem ligar diretamente para MySQL C API ou ODB

  • MultiViL Livre

    O MultiViL é uma ferramenta para aprendizado multi-visão. Suporta quatro classificadores (KNN, Naive-Bayes, Rochio e SVM-Perf), quatro métodos de combinação de visualização (Votação majoritária, Contagem de Borda, teoria de e

  • Alexis Make Livre

    Mantenha seu software com amake (um utilitário de make para desenvolvedores). Suporta forte reconhecimento de padrões e transformações. Um único arquivo pode ser usado para compilar um projeto inteiro.

  • pypnetcdf Livre

    PyPNetCDF é um pacote Python baseado em numérico que permite ler e/ou escrever para o arquivo NetCDF em um ambiente paralelo usando MPI e uma interface criada na biblioteca PnetCDF. Os objetos são muito semelhantes às definiç

  • libbinxml Livre

    A biblioteca BINXML foi criada para preencher a necessidade de uma maneira eficiente de incorporar dados binários dentro de arquivos xml. Ele fornece rotinas para codificação e decodificação de arquivos binários em arquivos d

  • OGen Livre

    OGen é um gerador de código. Ele gera código tanto em arquivos de texto quanto em funções de banco de dados (PostgreSQL e SQL Server são atualmente suportados) com base em metadados xml e modelos aspx/xslt fornecidos pelos us

  • HTTP Inspector Light Livre

    Faça solicitações HTTP GET, POST e HEAD e envie cabeçalhos personalizados. Suporta SSL, incluindo certificados auto-assinados.Em seguida, você pode visualizar a resposta do servidor, incluindo cabeçalhos e resposta render