все параметры
[  buster  ]
[ Источник: ladr  ]

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

Ссылки для libladr-dev

Screenshot

Ресурсы Debian:

Исходный код ladr:

Сопровождающий:

Внешние ресурсы:

Подобные пакеты:

the LADR deduction library, development files

LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.

This package provides development support files for LADR.

Теги: Разработка программного обеспечения: Библиотеки, Роль: Библиотека разработчика

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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libladr-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
armhf 0.0.200911a-2.1+b2 253,2 Кб1 219,0 Кб [список файлов]