[  lenny  ] [  squeeze  ] [  sid  ]
[ Paquet source : otter  ]

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

Autres paquets associés à otter

  • dépendances
  • recommandations
  • suggestions
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par 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]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc6.1-udeb
  • rec: c-shell
    paquet virtuel fourni par csh, tcsh
  • rec: mace2
    program that searches for finite models of first-order statements
  • rec: perl
    Langage de rapports et d'extractions pratiques de Larry Wall
  • sug: formed
    formula editor for first-order logic formulae

Télécharger otter

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
alpha 770,5 ko1876 ko [liste des fichiers]
amd64 759,1 ko1784 ko [liste des fichiers]
armel 747,1 ko1760 ko [liste des fichiers]
avr32 (portage non officiel) 750,1 ko1724 ko [liste des fichiers]
hppa 763,1 ko1796 ko [liste des fichiers]
hurd-i386 742,2 ko1760 ko [liste des fichiers]
i386 743,7 ko1760 ko [liste des fichiers]
ia64 843,3 ko2184 ko [liste des fichiers]
kfreebsd-amd64 762,8 ko1506 ko [liste des fichiers]
kfreebsd-i386 741,7 ko1474 ko [liste des fichiers]
m68k (portage non officiel) 729,8 ko1744 ko [liste des fichiers]
mips 764,4 ko1924 ko [liste des fichiers]
mipsel 765,3 ko1924 ko [liste des fichiers]
powerpc 754,1 ko1816 ko [liste des fichiers]
s390 754,2 ko1788 ko [liste des fichiers]
sparc 742,3 ko1772 ko [liste des fichiers]