Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Questo progetto contiene due diverse librerie BDD (Binary Decision Diagrams): JBDD: un'interfaccia Java per due librerie BDD più popolari, CUDD e BuDDy. JDD: una libreria Java nativa che supporta BDD, Z-BDD e altro (graph/automata/Petri nets/SAT)

cronologia delle versioni

  • Versione JDD.jar-build103 pubblicato il 2009-03-10
    Diverse correzioni e aggiornamenti
  • Versione JDD.jar-build103 pubblicato il 2009-03-10

Dettagli del programma

Programmi correlati

  • Tableflow Gratuito

    Tableflow è un componente Web Java per connettere dati tabulari utilizzando un paradigma di flusso di dati eseguibile. Questo progetto include un componente avanzato della griglia di dati, compatibile con JSF che ha il suppor

  • Internet Packet Debugger Gratuito

    Debugger, filtro, sniffer e logger in tempo reale dei pacchetti inviati e ricevuti da Winsock v1/v2. Sono incluse anche funzionalità come BreakPoints. È possibile modificare i pacchetti in tempo reale prima che il programma d

  • MDGen - Model-driven J2EE code generator Gratuito

    MDGen è un generatore di codice J2EE basato su modello di classe UML. Utilizza XML per descrivere un modello di classe e applica un modello XSL per generare EJB sessione/entità, codice Struts, descrittori di distribuzione, sc

  • mySQL32 Gratuito

    mySQL32, un'API DLL di classe C++ progettata per incapsulare l'API MySQL C in metodi semplici, membri e modello objet per gli sviluppatori che devono utilizzare mySQL nelle applicazioni senza chiamare direttamente l'API MySQL

  • MultiViL Gratuito

    MultiViL è uno strumento per l'apprendimento multi-vista. Supporta quattro classificatori (KNN, Naive-Bayes, Rochio e SVM-Perf), metodi di combinazione a quattro punti di vista (Majority Voting, Borda Count, Dempster-Shafer t

  • Alexis Make Gratuito

    Mantieni il tuo software con amake (un'utilità make per gli sviluppatori). Supporta il riconoscimento e le trasformazioni dei modelli forti. È possibile utilizzare un singolo makefile per compilare un intero progetto.

  • pypnetcdf Gratuito

    PyPNetCDF è un pacchetto Python basato su numerico che consente la lettura e/o la scrittura in file NetCDF in un ambiente parallelo utilizzando MPI e un'interfaccia creata per la libreria PnetCDF. Gli oggetti sono molto simil

  • libbinxml Gratuito

    La libreria BINXML è stata creata per soddisfare la necessità di un modo efficiente per incorporare dati binari all'interno di file XML. Fornisce routine per codificare e decodificare file binari in file di testo UTF-16 valid

  • OGen Gratuito

    OGen è un generatore di codice. Genera codice sia su file di testo che su funzioni di database (PostgreSQL e SQL Server sono attualmente supportati) in base ai metadati XML e ai modelli aspx/xslt forniti dagli utenti.

  • HTTP Inspector Light Gratuito

    Effettuare richieste HTTP GET, POST e HEAD e inviare intestazioni personalizzate. Supporta SSL, inclusi i certificati autofirmati.È quindi possibile visualizzare la risposta dal server, incluse le intestazioni e il render