Paketti: otter (3.3f-1.1)

[ Source: 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.

Muut pakettiin otter liittyvät paketit

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

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc0.1-udeb

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

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

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

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

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

• rec: c-shell

  näennäispaketti, jonka toteuttaa csh, tcsh

• rec: mace2

  program that searches for finite models of first-order statements

• rec: perl

  Larry Wallin kieli tekstitiedostojen analysointia ja raportointia varten

• sug: formed

  formula editor for first-order logic formulae

Imuroi otter

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	767.0 kt	1,289.0 kt	[tiedostoluettelo]
armel	745.6 kt	1,760.0 kt	[tiedostoluettelo]
armhf	733.9 kt	1,168.0 kt	[tiedostoluettelo]
i386	759.0 kt	1,286.0 kt	[tiedostoluettelo]
ia64	852.4 kt	1,704.0 kt	[tiedostoluettelo]
kfreebsd-amd64	766.6 kt	1,221.0 kt	[tiedostoluettelo]
kfreebsd-i386	759.0 kt	1,218.0 kt	[tiedostoluettelo]
mips	750.9 kt	1,301.0 kt	[tiedostoluettelo]
mipsel	751.3 kt	1,301.0 kt	[tiedostoluettelo]
powerpc	757.8 kt	1,282.0 kt	[tiedostoluettelo]
s390	761.1 kt	1,293.0 kt	[tiedostoluettelo]
s390x	766.9 kt	1,332.0 kt	[tiedostoluettelo]
sparc	747.6 kt	1,270.0 kt	[tiedostoluettelo]