[  lenny  ] [  squeeze  ] [  sid  ]
[ Källkod: otter  ]

Paket: 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.

Andra paket besläktade med otter

  • beror
  • rekommenderar
  • föreslår
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av 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-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc6.1-udeb
  • rec: c-shell
    virtuellt paket som tillhandahålls av csh, tcsh
  • rec: mace2
    program that searches for finite models of first-order statements
  • rec: perl
    Larry Walls "Practical Extraction and Report Language"
  • sug: formed
    formula editor for first-order logic formulae

Hämta otter

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
alpha 770,5 kbyte1876 kbyte [filförteckning]
amd64 759,1 kbyte1784 kbyte [filförteckning]
armel 747,1 kbyte1760 kbyte [filförteckning]
avr32 (inofficiell anpassning) 750,1 kbyte1724 kbyte [filförteckning]
hppa 763,1 kbyte1796 kbyte [filförteckning]
hurd-i386 742,2 kbyte1760 kbyte [filförteckning]
i386 743,7 kbyte1760 kbyte [filförteckning]
ia64 843,3 kbyte2184 kbyte [filförteckning]
kfreebsd-amd64 762,8 kbyte1506 kbyte [filförteckning]
kfreebsd-i386 741,7 kbyte1474 kbyte [filförteckning]
m68k (inofficiell anpassning) 729,8 kbyte1744 kbyte [filförteckning]
mips 764,4 kbyte1924 kbyte [filförteckning]
mipsel 765,3 kbyte1924 kbyte [filförteckning]
powerpc 754,1 kbyte1816 kbyte [filförteckning]
s390 754,2 kbyte1788 kbyte [filförteckning]
sparc 742,3 kbyte1772 kbyte [filförteckning]