Пакет: otter (3.3f-1.1)

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

resolution-style theorem prover

OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory.

OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system.

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

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc0.1-udeb

• dep: libc6 (>= 2.13) [s390x]

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

  dep: libc6 (>= 2.7) [не ia64, kfreebsd-amd64, kfreebsd-i386, s390x]

• dep: libc6.1 (>= 2.7) [ia64]

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

• rec: c-shell

  виртуальный пакет, предоставляемый csh, tcsh

• rec: mace2

  program that searches for finite models of first-order statements

• rec: perl

  интерпретатор для сценариев на языке Perl

• sug: formed

  formula editor for first-order logic formulae

Загрузка otter

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

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	767,0 Кб	1 289,0 Кб	[список файлов]
armel	745,6 Кб	1 760,0 Кб	[список файлов]
armhf	733,9 Кб	1 168,0 Кб	[список файлов]
i386	759,0 Кб	1 286,0 Кб	[список файлов]
ia64	852,4 Кб	1 704,0 Кб	[список файлов]
kfreebsd-amd64	766,6 Кб	1 221,0 Кб	[список файлов]
kfreebsd-i386	759,0 Кб	1 218,0 Кб	[список файлов]
mips	750,9 Кб	1 301,0 Кб	[список файлов]
mipsel	751,3 Кб	1 301,0 Кб	[список файлов]
powerpc	757,8 Кб	1 282,0 Кб	[список файлов]
s390	761,1 Кб	1 293,0 Кб	[список файлов]
s390x	766,9 Кб	1 332,0 Кб	[список файлов]
sparc	747,6 Кб	1 270,0 Кб	[список файлов]