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

Andere Pakete mit Bezug zu otter

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch 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-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
  • rec: c-shell
    virtuelles Paket, bereitgestellt durch csh, tcsh
  • rec: mace2
    Programm, dass nach endlichen Modellen für Aussagen erster Ordnung sucht
  • rec: perl
    Larry Wall's Practical Extraction und Report Language
  • sug: formed
    formula editor for first-order logic formulae

otter herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha 770,5 kB1876 kB [Liste der Dateien]
amd64 759,1 kB1784 kB [Liste der Dateien]
armel 747,1 kB1760 kB [Liste der Dateien]
avr32 (inoffizielle Portierung) 750,1 kB1724 kB [Liste der Dateien]
hppa 763,1 kB1796 kB [Liste der Dateien]
hurd-i386 742,2 kB1760 kB [Liste der Dateien]
i386 743,7 kB1760 kB [Liste der Dateien]
ia64 843,3 kB2184 kB [Liste der Dateien]
kfreebsd-amd64 762,8 kB1506 kB [Liste der Dateien]
kfreebsd-i386 741,7 kB1474 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 729,8 kB1744 kB [Liste der Dateien]
mips 764,4 kB1924 kB [Liste der Dateien]
mipsel 765,3 kB1924 kB [Liste der Dateien]
powerpc 754,1 kB1816 kB [Liste der Dateien]
s390 754,2 kB1788 kB [Liste der Dateien]
sparc 742,3 kB1772 kB [Liste der Dateien]