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ß

Paketname	otter
Beschreibung	resolution-style theorem prover
Archiv/Repository	Offizielles Debian Archiv squeeze (main)
Version	3.3f-1
Sektion	math
Priorität	optional
Installierte Größe	1760 Byte
Hängt ab von	libc6 (>= 2.3.6-6)
Empfohlene Pakete	perl, c-shell, mace2
Paketbetreuer	Peter Collingbourne
Quelle
Paketgröße	761570 Byte
Prüfsumme MD5	55bdee9ce191c3cbe86f71cc2183257a
Prüfsumme SHA1	910044c190fdd964870e75c94b8b3cefe4eecb8b
Prüfsumme SHA256	59282e490196a06847834ec9610651fae13f0fc22df19bb7a5abcd5f7b284010
Link zum Herunterladen	otter_3.3f-1_i386.deb
Ausführliche Beschreibung	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.

Impressum
Linux is a registered trademark of Linus Torvalds