[  lenny  ] [  squeeze  ] [  sid  ]
[ Source: otter  ]

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

Muut pakettiin otter liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    Embedded GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    Embedded GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa 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
    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
alpha 770.5 kt1876 kt [tiedostoluettelo]
amd64 759.1 kt1784 kt [tiedostoluettelo]
armel 747.1 kt1760 kt [tiedostoluettelo]
avr32 (epävirallinen siirros) 750.1 kt1724 kt [tiedostoluettelo]
hppa 763.1 kt1796 kt [tiedostoluettelo]
hurd-i386 742.2 kt1760 kt [tiedostoluettelo]
i386 743.7 kt1760 kt [tiedostoluettelo]
ia64 843.3 kt2184 kt [tiedostoluettelo]
kfreebsd-amd64 762.8 kt1506 kt [tiedostoluettelo]
kfreebsd-i386 741.7 kt1474 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 729.8 kt1744 kt [tiedostoluettelo]
mips 764.4 kt1924 kt [tiedostoluettelo]
mipsel 765.3 kt1924 kt [tiedostoluettelo]
powerpc 754.1 kt1816 kt [tiedostoluettelo]
s390 754.2 kt1788 kt [tiedostoluettelo]
sparc 742.3 kt1772 kt [tiedostoluettelo]