[  lenny  ] [  squeeze  ] [  sid  ]
[ Zdroj: otter  ]

Balík: 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.

Ostatné balíky súvisiace s balíkom otter

  • závisí
  • odporúča
  • navrhuje
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    knižnica GNU C - zdieľané knižnice
    tiež virtuálny balík poskytovaný balíkom libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    knižnica GNU C - zdieľané knižnice
    tiež virtuálny balík poskytovaný balíkom libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    knižnica GNU C - zdieľané knižnice
    tiež virtuálny balík poskytovaný balíkom 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]
    knižnica GNU C - zdieľané knižnice
    tiež virtuálny balík poskytovaný balíkom libc6.1-udeb
  • rec: c-shell
    virtuálny balík poskytovaný balíkom csh, tcsh
  • rec: mace2
    program na hľadanie konečných modelov výrazov prvého rádu
  • rec: perl
    Practical Extraction and Report Language Larryho Walla
  • sug: formed
    formula editor for first-order logic formulae

Stiahnuť otter

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha 770.5 kB1876 kB [zoznam súborov]
amd64 759.1 kB1784 kB [zoznam súborov]
armel 747.1 kB1760 kB [zoznam súborov]
avr32 (neoficiálny port) 750.1 kB1724 kB [zoznam súborov]
hppa 763.1 kB1796 kB [zoznam súborov]
hurd-i386 742.2 kB1760 kB [zoznam súborov]
i386 743.7 kB1760 kB [zoznam súborov]
ia64 843.3 kB2184 kB [zoznam súborov]
kfreebsd-amd64 762.8 kB1506 kB [zoznam súborov]
kfreebsd-i386 741.7 kB1474 kB [zoznam súborov]
m68k (neoficiálny port) 729.8 kB1744 kB [zoznam súborov]
mips 764.4 kB1924 kB [zoznam súborov]
mipsel 765.3 kB1924 kB [zoznam súborov]
powerpc 754.1 kB1816 kB [zoznam súborov]
s390 754.2 kB1788 kB [zoznam súborov]
sparc 742.3 kB1772 kB [zoznam súborov]