[  lenny  ] [  squeeze  ] [  sid  ]
[ Bron: otter  ]

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

Andere aan otter gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    Embedded GNU C Library: Shared libraries
    Ook een virtueel pakket geboden door: libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    Embedded GNU C Library: Shared libraries
    Ook een virtueel pakket geboden door: 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]
    Embedded GNU C Library: Shared libraries
    Ook een virtueel pakket geboden door: libc6.1-udeb
  • rec: c-shell
    virtueel pakket geboden door csh, tcsh
  • rec: mace2
    program that searches for finite models of first-order statements
  • rec: perl
    Larry Wall's Practische Extractie en Reportage Taal
  • sug: formed
    formula editor for first-order logic formulae

otter downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
alpha 770,5 kB1876 kB [overzicht]
amd64 759,1 kB1784 kB [overzicht]
armel 747,1 kB1760 kB [overzicht]
avr32 (unofficial port) 750,1 kB1724 kB [overzicht]
hppa 763,1 kB1796 kB [overzicht]
hurd-i386 742,2 kB1760 kB [overzicht]
i386 743,7 kB1760 kB [overzicht]
ia64 843,3 kB2184 kB [overzicht]
kfreebsd-amd64 762,8 kB1506 kB [overzicht]
kfreebsd-i386 741,7 kB1474 kB [overzicht]
m68k (unofficial port) 729,8 kB1744 kB [overzicht]
mips 764,4 kB1924 kB [overzicht]
mipsel 765,3 kB1924 kB [overzicht]
powerpc 754,1 kB1816 kB [overzicht]
s390 754,2 kB1788 kB [overzicht]
sparc 742,3 kB1772 kB [overzicht]