Пакет: ladr4-apps (0.0.200911a-2.1 и другие)

[ Источник: ladr  ]

библиотека дедукции LADR, различные приложения

LADR (библиотека автоматизированных дедуктивных исследований) — это библиотека, используемая в построении доказательства теорем. Помимо полезных функций она предосталяет средства для применения правил вывода, таких как метод резолюций и парамодуляция до клауз. LADR используется средством для доказательства теорем prover9 и генератором контрмоделей mace4.

Данный пакет содержит различные LADR-приложения.

Теги: Роль: Программа

Другие пакеты, относящиеся к ladr4-apps

• dep: libc6 (>= 2.17)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libladr4 (>= 0.0.200902a)

  the LADR deduction library

• dep: python

  интерактивный объектно-ориентированный язык высокого уровня (ветка 2.x)

• rec: prover9-doc (<< 0.0.200902b)

  documentation for Prover9 and associated programs

  rec: prover9-doc (>> 0.0.200902a)

Загрузка ladr4-apps

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
arm64	0.0.200911a-2.1+b2	127,0 Кб	961,0 Кб	[список файлов]