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

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

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.3) [kfreebsd-amd64, kfreebsd-i386]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    Embedded GNU C Library: Shared libraries
    также виртуальный пакет, предоставляемый libc6-udeb
    dep: libc6 (>= 2.3.6-6) [i386]
    dep: libc6 (>= 2.5) [avr32]
    dep: libc6 (>= 2.5-5) [armel]
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    библиотека 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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
alpha 770,5 Кб1876 Кб [список файлов]
amd64 759,1 Кб1784 Кб [список файлов]
armel 747,1 Кб1760 Кб [список файлов]
avr32 (неофициальный перенос) 750,1 Кб1724 Кб [список файлов]
hppa 763,1 Кб1796 Кб [список файлов]
hurd-i386 742,2 Кб1760 Кб [список файлов]
i386 743,7 Кб1760 Кб [список файлов]
ia64 843,3 Кб2184 Кб [список файлов]
kfreebsd-amd64 762,8 Кб1506 Кб [список файлов]
kfreebsd-i386 741,7 Кб1474 Кб [список файлов]
m68k (неофициальный перенос) 729,8 Кб1744 Кб [список файлов]
mips 764,4 Кб1924 Кб [список файлов]
mipsel 765,3 Кб1924 Кб [список файлов]
powerpc 754,1 Кб1816 Кб [список файлов]
s390 754,2 Кб1788 Кб [список файлов]
sparc 742,3 Кб1772 Кб [список файлов]