[  lenny  ] [  squeeze  ] [  sid  ]
[ Source: 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

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    Бібліотека GNU C: спільні бібліотеки
    also a virtual package provided by libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    Бібліотека GNU C: спільні бібліотеки
    also a virtual package provided by libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    Бібліотека GNU C: спільні бібліотеки
    also a virtual package provided by 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: спільні бібліотеки
    also a virtual package provided by libc6.1-udeb
  • rec: c-shell
    virtual package provided by csh, tcsh
  • rec: mace2
    program that searches for finite models of first-order statements
  • rec: perl
    Мова Практичного Видобування та Побудування Звітів Лари Уолла (Larry Wall)
  • sug: formed
    formula editor for first-order logic formulae

Завантажити otter

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
alpha 770.5 kB1876 kB [список файлів]
amd64 759.1 kB1784 kB [список файлів]
armel 747.1 kB1760 kB [список файлів]
avr32 (unofficial port) 750.1 kB1724 kB [список файлів]
hppa 763.1 kB1796 kB [список файлів]
hurd-i386 742.2 kB1760 kB [список файлів]
i386 743.7 kB1760 kB [список файлів]
ia64 843.3 kB2184 kB [список файлів]
kfreebsd-amd64 762.8 kB1506 kB [список файлів]
kfreebsd-i386 741.7 kB1474 kB [список файлів]
m68k (unofficial port) 729.8 kB1744 kB [список файлів]
mips 764.4 kB1924 kB [список файлів]
mipsel 765.3 kB1924 kB [список файлів]
powerpc 754.1 kB1816 kB [список файлів]
s390 754.2 kB1788 kB [список файлів]
sparc 742.3 kB1772 kB [список файлів]