Stiahnuť zdrojový balík otter:
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.
|
|
|
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| alpha | 770.5 kB | 1876 kB | [zoznam súborov] |
| amd64 | 759.1 kB | 1784 kB | [zoznam súborov] |
| armel | 747.1 kB | 1760 kB | [zoznam súborov] |
| avr32 (neoficiálny port) | 750.1 kB | 1724 kB | [zoznam súborov] |
| hppa | 763.1 kB | 1796 kB | [zoznam súborov] |
| hurd-i386 | 742.2 kB | 1760 kB | [zoznam súborov] |
| i386 | 743.7 kB | 1760 kB | [zoznam súborov] |
| ia64 | 843.3 kB | 2184 kB | [zoznam súborov] |
| kfreebsd-amd64 | 762.8 kB | 1506 kB | [zoznam súborov] |
| kfreebsd-i386 | 741.7 kB | 1474 kB | [zoznam súborov] |
| m68k (neoficiálny port) | 729.8 kB | 1744 kB | [zoznam súborov] |
| mips | 764.4 kB | 1924 kB | [zoznam súborov] |
| mipsel | 765.3 kB | 1924 kB | [zoznam súborov] |
| powerpc | 754.1 kB | 1816 kB | [zoznam súborov] |
| s390 | 754.2 kB | 1788 kB | [zoznam súborov] |
| sparc | 742.3 kB | 1772 kB | [zoznam súborov] |