bddbddb: BDD-Based Deductive Database

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

• 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 и разделенные части кода для любых метрик (например: время, память, метрики, определенные пользователем и т.д.). Результаты измерений представлены в подробных/кр