toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : otter  ]

Paquet : otter (3.3f-1)

Liens pour otter

Screenshot

Ressources Debian :

Télécharger le paquet source otter :

Responsable :

Paquets similaires :

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
  • enhances

Télécharger otter

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
mips 764,4 ko1 924,0 ko [liste des fichiers]