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

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

the LADR deduction library, miscellaneous applications

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 miscellaneous LADR applications.

Етикети: Role: Program

Други пакети, свързани с ladr4-apps

• dep: libc6 (>= 2.17)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libladr4 (>= 0.0.200902a)

  the LADR deduction library

• dep: python

  interactive high-level object-oriented language (Python2 version)

• 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 кБ	[списък на файловете]