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

Java Decision Diagram Libraries 103

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

Este projeto contém duas diferentes bibliotecas de diagramas de decisão binária (BDD): JBDD: uma interface java para duas bibliotecas populares de BDD, CUDD e BuDDy. JDD: uma biblioteca java nativa que suporta BDD, Z-BDD e muito mais (redes graph/automata/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 Grátis

    O Tableflow é um componente web de Java para ligar dados tabulares usando um paradigma de fluxo de dados executável. Este projeto inclui uma componente avançada da grelha de dados, compatível com o JSF que tem construído supo

  • Internet Packet Debugger Grátis

    Depurador em tempo real, filtro, sniffer e madejeiro de pacotes enviados e recebidos por Winsock v1/v2. Funcionalidades como BreakPoints também incluídas. Pode editar pacotes em tempo real antes do programa-alvo Receber ou en

  • MDGen - Model-driven J2EE code generator Grátis

    MDGen é um gerador de código J2EE de classe UML. Utiliza o XML para descrever um modelo de classe e aplica o modelo XSL para gerar EJBs de sessão/entidade, código Struts, descritores de implementação, scripts de criação/queda

  • mySQL32 Grátis

    mySQL32, um API classe C++ projetado para encapsular MySQL C API em métodos fáceis, membros e modelo objet para desenvolvedores que precisam de usar o mySQL nas suas aplicações sem ligar diretamente para MySQL C API ou ODBC.

  • MultiViL Grátis

    O MultiViL é uma ferramenta para a aprendizagem multi-visualização. Suporta quatro classificadores (KNN, Naive-Bayes, Rochio e SVM-Perf), quatro métodos de combinação de pontos de vista (Majority Vote, Borda Count, Dempster-S

  • Alexis Make Grátis

    Mantenha o seu software com amake (uma utilidade para programadores). Suporta forte reconhecimento de padrões e transformações. Um único ficheiro pode ser usado para compilar um projeto inteiro.

  • pypnetcdf Grátis

    PyPNetCDF é um pacote Python baseado em nomôrico que permite ler e/ou escrever para o ficheiro NetCDF em um ambiente paralelo usando MPI e uma interface criada para biblioteca PnetCDF. Os objetos são muito semelhantes às defi

  • libbinxml Grátis

    A biblioteca BINXML foi criado para preencher a necessidade de uma forma eficiente de incorporar dados binários dentro dos ficheiros XML. Fornece rotinas para codificar e descoditar ficheiros binários em ficheiros de texto UT

  • OGen Grátis

    OGen é um gerador de códigos. Gera código tanto em ficheiros de texto como em funções de base de dados (PostgreSQL e SQL Server são atualmente suportados) com base em metadados xml e modelos aspx/xslt fornecidos pelos utiliza

  • HTTP Inspector Light Grátis

    Faça pedidos HTTP GET, POST e HEAD e envie cabeçalhos personalizados. Suporta a SSL, incluindo certificados auto-assinados.Em seguida, pode visualizar a resposta do servidor, incluindo cabeçalhos e resposta renderizada e