[ Source: otter ]
Package: otter (3.3f-1.1 and others)
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.
Other Packages Related to otter
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.13) [s390x, sh4]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.3.5-1) [hppa]
- dep: libc6 (>= 2.7) [not alpha, hppa, hurd-i386, ia64, kfreebsd-amd64, kfreebsd-i386, s390x, sh4]
-
- dep: libc6.1 (>= 2.7) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-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
Download otter
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 3.3f-1.1 | 778.1 kB | 1,366.0 kB | [list of files] |
| amd64 | 3.3f-1.1 | 767.0 kB | 1,289.0 kB | [list of files] |
| armel | 3.3f-1.1 | 745.6 kB | 1,760.0 kB | [list of files] |
| armhf | 3.3f-1.1 | 733.9 kB | 1,168.0 kB | [list of files] |
| hppa (unofficial port) | 3.3f-1 | 763.1 kB | 1,796.0 kB | [list of files] |
| hurd-i386 | 3.3f-1.1+b1 | 759.3 kB | 1,284.0 kB | [list of files] |
| i386 | 3.3f-1.1 | 759.0 kB | 1,286.0 kB | [list of files] |
| ia64 | 3.3f-1.1 | 852.4 kB | 1,704.0 kB | [list of files] |
| kfreebsd-amd64 | 3.3f-1.1 | 766.6 kB | 1,221.0 kB | [list of files] |
| kfreebsd-i386 | 3.3f-1.1 | 759.0 kB | 1,218.0 kB | [list of files] |
| m68k (unofficial port) | 3.3f-1.1 | 727.7 kB | 1,243.0 kB | [list of files] |
| mips | 3.3f-1.1 | 750.9 kB | 1,301.0 kB | [list of files] |
| mipsel | 3.3f-1.1 | 751.3 kB | 1,301.0 kB | [list of files] |
| powerpc | 3.3f-1.1 | 757.8 kB | 1,282.0 kB | [list of files] |
| powerpcspe (unofficial port) | 3.3f-1.1 | 747.0 kB | 1,206.0 kB | [list of files] |
| s390 | 3.3f-1.1 | 761.1 kB | 1,293.0 kB | [list of files] |
| s390x | 3.3f-1.1 | 766.9 kB | 1,332.0 kB | [list of files] |
| sh4 (unofficial port) | 3.3f-1.1 | 758.5 kB | 1,257.0 kB | [list of files] |
| sparc | 3.3f-1.1 | 747.6 kB | 1,270.0 kB | [list of files] |
| sparc64 (unofficial port) | 3.3f-1.1 | 744.6 kB | 1,193.0 kB | [list of files] |