Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

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

База данных на основе BDD, реализация Datalog, которая использует Диаграммы двоичных решений в качестве базовой структуры данных. Это позволяет эффективно представлять экспоненциально-размерные отношения.

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

  • Версия N/A размещено на 2011-08-06
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-06

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

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

  • Proxy Pal For Networks Бесплатный

    PPFN, это также инструмент, который будет скрыт от любого сервера журнала, эти разработчики знают, что они должны делать. Если вы загрузите этот окончательный пакет вы сможете наслаждаться в Интернете, зная, что вы были бы в

  • XBMC / Boxee Remote Бесплатный

    Дистанционное управление для XBMC / Boxee.ПОЖАЛУЙСТА, UNINSTALL v1.0!!!v3.1Поддержка профилей в предпочтенияхv2.2- Незначительное исправление ошибкиv2.1Незначительное исправление ошибок, чтобы заставить его рабо

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

    Java реализация немецкого файла DTAUS. Поддерживает чтение, добавление, редактирование, удаление операций и записей расширения. Доступно приложение GUI, демонстрирующее все доступные функции. Смотрите скриншоты.

  • Alligator Snap Бесплатная пробная версия

    Прикрепите вместе свои собственные веб-страницы в 3 простых шага. Вам не нужен какой-либо предыдущий опыт - Alligator Snap поставляется с заранее разработанными веб-шаблонами и множеством отличных функций. Дополнительные шабл

  • Mayur Linux Бесплатный

    Операционная система Mayur Linux основана на ядре LinuxPAE64, которое позволяет дыцам x86-64 работать на 32-битной операционной системе, если процессор совместим с x86-64.

  • RIDGID Digital Bubble Level Бесплатная пробная версия

    Уровень цифрового ® RIDGID оснащен тремя флаконами для отвеса, уровня и 45-дюймового митера. Существует дополнительная звуковая функция, которая позволяет слышно определить ваши результаты для ситуаций, когда вы не можете пр

  • CNC GCODE Coordinate Transposition Tool Бесплатный

    Этот инструмент Python 3.1 манипулирует системой координат CNC GCODE для обработки или гравировки. Он может Flip X, Y, или q координаты, зеркало X, Y, или й координаты, флип или зеркало как XY координаты, или вставить движени

  • Cell Messaging Layer Бесплатный

    Слой обмена сообщениями ячейки является чрезвычайно быстрой, MPI-подобной библиотекой связи для кластеров процессоров Cell Broadband Engine. С его помощью любой элемент синергетической обработки cell (SPE) может напрямую обща

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

    cccl является обертка вокруг Microsoft Visual C's cl.exe и ссылка.exe. Он преобразует параметры командной строки компилятора Unix в эквивалентные параметры для cl и ссылки.

  • C/C++ Program Perfometer Бесплатный

    Программа позволяет получить производительность программы C / C и разделенные части кода для любых метрик (например: время, память, метрики, определенные пользователем и т.д.). Результаты измерений представлены в подробных/кр