Pakket: otter (3.3f-1.1)

[ Bron: 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 aan otter gerelateerde pakketten

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.1-udeb

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6-udeb

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

• dep: libc6.1 (>= 2.7) [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
amd64	767,0 kB	1.289,0 kB	[overzicht]
armel	745,6 kB	1.760,0 kB	[overzicht]
armhf	733,9 kB	1.168,0 kB	[overzicht]
i386	759,0 kB	1.286,0 kB	[overzicht]
ia64	852,4 kB	1.704,0 kB	[overzicht]
kfreebsd-amd64	766,6 kB	1.221,0 kB	[overzicht]
kfreebsd-i386	759,0 kB	1.218,0 kB	[overzicht]
mips	750,9 kB	1.301,0 kB	[overzicht]
mipsel	751,3 kB	1.301,0 kB	[overzicht]
powerpc	757,8 kB	1.282,0 kB	[overzicht]
s390	761,1 kB	1.293,0 kB	[overzicht]
s390x	766,9 kB	1.332,0 kB	[overzicht]
sparc	747,6 kB	1.270,0 kB	[overzicht]