[ Quellcode: otter ]
Paket: otter (3.3f-1) [universe]
Links für otter
Ubuntu-Ressourcen:
Quellcode-Paket otter herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Peter Collingbourne
It should generally not be necessary for users to contact the original maintainer.
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu otter
|
|
|
-
- dep: libc6 (>= 2.5-5)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- rec: mace2
- program that searches for finite models of first-order statements
-
- rec: perl
- Larry Wall's Practical Extraction and Report Language
-
- sug: formed
- formula editor for first-order logic formulae
otter herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 760,6 kB | 1.792,0 kB | [Liste der Dateien] |
| i386 | 740,4 kB | 1.756,0 kB | [Liste der Dateien] |