[ buster ]
[ Источник: ladr ]
Пакет: ladr4-apps (0.0.200911a-2.1 и другие)
Ссылки для ladr4-apps
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код ladr:
Сопровождающий:
Внешние ресурсы:
- Сайт [www.cs.unm.edu]
Подобные пакеты:
библиотека дедукции LADR, различные приложения
LADR (библиотека автоматизированных дедуктивных исследований) — это библиотека, используемая в построении доказательства теорем. Помимо полезных функций она предосталяет средства для применения правил вывода, таких как метод резолюций и парамодуляция до клауз. LADR используется средством для доказательства теорем prover9 и генератором контрмоделей mace4.
Данный пакет содержит различные LADR-приложения.
Другие пакеты, относящиеся к ladr4-apps
|
|
|
|
-
- dep: libc6 (>= 2.7)
- библиотека 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
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| i386 | 0.0.200911a-2.1+b2 | 152,9 Кб | 1 015,0 Кб | [список файлов] |