Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. libLogic
  5. Download

libLogic

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

О libLogic

libLogic является библиотекой программного обеспечения для автоматизированной теоремы, доказывая с считается, чтобы быть непревзойденным способность правильно и эффективно доказать точно все доказуемые заявления в любой логической теории любого порядка, без человеческой помощи.

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

  • CMS Utilities Бесплатный

    cmsutils предоставляет программы, которые помогут вам разрабатывать, создавать и переводить cms (Postnuke, Xaraya, ...) модули. Написано в Delphi/Kylix

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

    Luabridge — это легкая библиотека, свободная от зависимостей, для экспорта функций и классов СЗ в среду Lua. Он использует стандартные метапрограммирования шаблонов C q и написан против Lua 5.1.2.

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

    svgconv является инструментом контента для преобразования путей SVG в формат C, который можно легко использовать с OpenVG.

  • Mobile StrongBOX - Data Vault Бесплатная пробная версия

    Лучшее приложение для защиты данных, Mobile StrongBOX предназначено для безопасного хранения личной информации, такой как фотографии или видео, пароли, данные для банковских счетов, документы и все остальное, что вы хотите

  • embedded Finite State Machine (eFSM) Бесплатный

    Встроенный механизм Finite State Machine (FSM), который может использоваться для моделирования и управления реактивной или состояния системы. Система может быть представлена любым количеством государств. Переходы государств о

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

    Альберт является док-генератором для Common Lisp, сравнимым с Javadoc и Doxygen. В настоящее время он генерирует документацию DocBook. В нем говорится определение системы ASDF и документируется система.

  • SETILog for Unix Бесплатный

    SETILog сохраняет некоторые статистические данные о SETI@home рабочей единицы в текстовом файле CSV. Этот файл необходим SETIWatch для отслеживания завершенных рабочих подразделений.

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

    HappyDoc является инструментом для извлечения документации из кода Python. Он отличается от других подобных приложений тем, что он использует дерево разбора для модуля для получения информации и не импортирует модуль.

  • OpenCL .Net Бесплатный

    Этот проект пытается сделать две вещи. Во-первых, он обеспечивает привязки к API OpenCL, которые отражают спецификацию OpenCL 1.1 как можно ближе. Во-вторых, он обеспечивает более высокий уровень абстракции API, что больше .

  • PAPAS: Path Planning Algorithm Suite Бесплатный

    PAPAS (Path Planning Algorithms Suite) — набор алгоритмов, предназначенных для планирования траекторий. Он имеет общие алгоритмы, такие как PRM, RRT, Wavefront Planner и т.д. Реализация выполнена на языке C, и код разрабатыва