Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Java Decision Diagram Libraries
  5. Download

Java Decision Diagram Libraries 103

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur Java Decision Diagram Libraries

Ce projet contient deux bibliothèques différentes de diagrammes de décision binaire (BDD) : JBDD : une interface Java pour deux bibliothèques BDD populaires, CUDD et BuDDy. JDD: une bibliothèque Java native supportant BDD, Z-BDD et plus encore (graph/automata/Petri nets/SAT)

Programmes connexes

  • Tableflow Gratuit

    Tableflow est un composant Web Java pour connecter les données tabulaires à l’aide d’un paradigme de flux de données exécutable. Ce projet comprend un composant avancé de grille de données, compatible avec JSF qui a construit

  • Internet Packet Debugger Gratuit

    Déugger, filtre, renifleur et enregistreur en temps réel des paquets envoyés et reçus par Winsock v1/v2. Des fonctionnalités comme BreakPoints également incluses. Vous pouvez modifier des paquets en temps réel avant que le pr

  • MDGen - Model-driven J2EE code generator Gratuit

    MDGen est un générateur de code J2EE de classe UML. Il utilise XML pour décrire un modèle de classe et applique le modèle XSL pour générer des EJB de session/entité, du code Struts, des descripteurs de déploiement, des script

  • mySQL32 Gratuit

    mySQL32, une API C++ Class dll conçue pour encapsuler l’API MySQL C en méthodes faciles, membres et objet-modèle pour les développeurs qui ont besoin d’utiliser mySQL dans vos applications sans appeler directement MySQL C API

  • MultiViL Gratuit

    MultiViL est un outil d’apprentissage multi-vision. Il prend en charge quatre classificateurs (KNN, Naive-Bayes, Rochio et SVM-Perf), quatre méthodes de combinaison de points de vue (vote à la majorité, comte de Borda, théori

  • Alexis Make Gratuit

    Maintenez votre logiciel avec amake (une utilité de faire pour les développeurs). Prend en charge la reconnaissance et les transformations de motifs solides. Un seul makefile peut être utilisé pour compiler un projet entier.

  • pypnetcdf Gratuit

    PyPNetCDF est un paquet Python numérique qui permet de lire et/ou d’écrire au fichier NetCDF dans un environnement parallèle à l’aide de MPI et d’une interface créée à la bibliothèque PnetCDF. Les objets sont très similaires

  • libbinxml Gratuit

    La bibliothèque BINXML a été créé pour combler le besoin d’un moyen efficace d’intégrer des données binaires à l’intérieur des fichiers xml. Il fournit des routines pour l’encodage et le décodage des fichiers binaires dans de

  • OGen Gratuit

    OGen est un générateur de code. Il génère du code à la fois sur les fichiers texte et les fonctions de base de données (PostgreSQL et SQL Server sont actuellement pris en charge) basés sur des métadonnées xml et des modèles a

  • HTTP Inspector Light Gratuit

    Faites des demandes HTTP GET, POST et HEAD et envoyez des en-têtes personnalisés. Prend en charge SSL, y compris les certificats autosignés.Vous pouvez ensuite afficher la réponse à partir du serveur, y compris les en-têt