Исходный код 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.
|
|
|
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| alpha | 770,5 Кб | 1876 Кб | [список файлов] |
| amd64 | 759,1 Кб | 1784 Кб | [список файлов] |
| armel | 747,1 Кб | 1760 Кб | [список файлов] |
| avr32 (неофициальный перенос) | 750,1 Кб | 1724 Кб | [список файлов] |
| hppa | 763,1 Кб | 1796 Кб | [список файлов] |
| hurd-i386 | 742,2 Кб | 1760 Кб | [список файлов] |
| i386 | 743,7 Кб | 1760 Кб | [список файлов] |
| ia64 | 843,3 Кб | 2184 Кб | [список файлов] |
| kfreebsd-amd64 | 762,8 Кб | 1506 Кб | [список файлов] |
| kfreebsd-i386 | 741,7 Кб | 1474 Кб | [список файлов] |
| m68k (неофициальный перенос) | 729,8 Кб | 1744 Кб | [список файлов] |
| mips | 764,4 Кб | 1924 Кб | [список файлов] |
| mipsel | 765,3 Кб | 1924 Кб | [список файлов] |
| powerpc | 754,1 Кб | 1816 Кб | [список файлов] |
| s390 | 754,2 Кб | 1788 Кб | [список файлов] |
| sparc | 742,3 Кб | 1772 Кб | [список файлов] |