DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameotter
Beschreibungresolution-style theorem prover
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version3.3f-1
Sektionuniverse/math
Prioritätoptional
Installierte Größe1756 Byte
Hängt ab vonlibc6 (>= 2.5-5)
Empfohlene Paketeperl, c-shell, mace2
PaketbetreuerUbuntu MOTU Developers
Quelle
Paketgröße758182 Byte
Prüfsumme MD5b998226bf92f5bd73068222416ceaf6d
Prüfsumme SHA12df769a21816c4b4c4cce7a05a67c2a3cbb64918
Prüfsumme SHA2563d7734b384d763119a9fd0c51b2492dd5b2cfe66a709758ca65157abfba00aed
Link zum Herunterladenotter_3.3f-1_i386.deb
Ausführliche BeschreibungOTTER 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.

Impressum
Linux is a registered trademark of Linus Torvalds