Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов
Скачать

Этот проект содержит две различные библиотеки Binary Decision Diagrams (BDD): JBDD: интерфейс Java для двух популярных библиотек BDD, CUDD и BuDDy. JDD: родная библиотека Java, поддерживающая BDD, Q-BDD и многое другое (график/автомат/Петри сети/SAT)

история версии

  • Версия JDD.jar-build103 размещено на 2009-03-10
    Несколько исправлений и обновлений
  • Версия JDD.jar-build103 размещено на 2009-03-10

Подробная информация о программе

Похожие программы

  • Tableflow Бесплатный

    Tableflow - это веб-компонент Java для подключения табличные данные с помощью парадигмы выполнения потока данных. Этот проект включает в себя расширенный компонент сетки данных, совместимый с JSF, который имеет сборку в подде

  • Internet Packet Debugger Бесплатный

    Отладка в реальном времени, фильтр, нюхатель и регистратор пакетов, отправленных и полученных Winsock v1/v2. Функции, такие как BreakPoints также включены. Вы можете редактировать пакеты в режиме реального времени до получени

  • MDGen - Model-driven J2EE code generator Бесплатный

    MDGen — это генератор кода J2EE класса UML. Он использует XML для описания классовой модели и применяет шаблон XSL для генерации EJB сеансов/сущностей, кода Struts, дескрипторов развертывания, скриптов создания/падения базы д

  • mySQL32 Бесплатный

    myS'L32, API класса C, предназначенный для инкапсулировать API MyS'L C в простые методы, членов и objet-модель для разработчиков, которым необходимо использовать myS'L в ваших приложениях без вызова непосредственно MyS'L C AP

  • MultiViL Бесплатный

    MultiViL является инструментом для многовидового обучения. Он поддерживает четыре классификатора (KNN, Naive-Bayes, Rochio и SVM-Perf), четыре метода объединения представлений (Большинство голосования, Borda Count, Демпстер-Ш

  • Alexis Make Бесплатный

    Поддерживайте программное обеспечение с помощью amake (утилита для разработчиков). Поддерживает сильное распознавание образов и преобразования. Для компиляции всего проекта можно использовать один makefile.

  • pypnetcdf Бесплатный

    PyPNetCDF — это пакет Python на основе numeric, который позволяет читать и/или писать в файл NetCDF в параллельной среде с использованием MPI и интерфейса, созданного для библиотеки PnetCDF. Объекты очень похожи на определени

  • libbinxml Бесплатный

    Библиотека BINXML была создана, чтобы заполнить потребность в эффективном способе встраивания двоичных данных в файлы xml. Он предоставляет процедуры кодирования и декодирования бинарных файлов в действительные текстовые файл

  • OGen Бесплатный

    OGen является генератором кода. Он генерирует код как на текстовых файлах, так и на функциях баз данных (в настоящее время поддерживаются PostgreS'L и S'L Server) на основе метаданных xml и шаблонов aspx/xslt, предоставляемых

  • HTTP Inspector Light Бесплатный

    Сделайте запросы HTTP GET, POST и HEAD и отправьте пользовательские заготовки. Поддерживает SSL, включая сертификаты, подписанные самостоятельно.Затем можно просмотреть ответ с сервера, включая заготовки и визуализированн