Paket: otter (3.3f-1.1)

[ Quellcode: otter  ]

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

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb

• dep: libc6 (>= 2.13) [s390x]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.7) [nicht ia64, kfreebsd-amd64, kfreebsd-i386, s390x]

• dep: libc6.1 (>= 2.7) [ia64]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  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
amd64	767,0 kB	1.289,0 kB	[Liste der Dateien]
armel	745,6 kB	1.760,0 kB	[Liste der Dateien]
armhf	733,9 kB	1.168,0 kB	[Liste der Dateien]
i386	759,0 kB	1.286,0 kB	[Liste der Dateien]
ia64	852,4 kB	1.704,0 kB	[Liste der Dateien]
kfreebsd-amd64	766,6 kB	1.221,0 kB	[Liste der Dateien]
kfreebsd-i386	759,0 kB	1.218,0 kB	[Liste der Dateien]
mips	750,9 kB	1.301,0 kB	[Liste der Dateien]
mipsel	751,3 kB	1.301,0 kB	[Liste der Dateien]
powerpc	757,8 kB	1.282,0 kB	[Liste der Dateien]
s390	761,1 kB	1.293,0 kB	[Liste der Dateien]
s390x	766,9 kB	1.332,0 kB	[Liste der Dateien]
sparc	747,6 kB	1.270,0 kB	[Liste der Dateien]