все параметры
squeeze  ] [  wheezy  ] [  sid  ]
[ Источник: otter  ]

Пакет: otter (3.3f-1.1)

Ссылки для otter

Screenshot

Ресурсы Debian:

Исходный код otter:

Сопровождающий:

Подобные пакеты:

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.

Другие пакеты, относящиеся к otter

  • зависимости
  • рекомендации
  • предложения

Загрузка otter

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 767,0 Кб1 289,0 Кб [список файлов]
armel 745,6 Кб1 760,0 Кб [список файлов]
armhf 733,9 Кб1 168,0 Кб [список файлов]
i386 759,0 Кб1 286,0 Кб [список файлов]
ia64 852,4 Кб1 704,0 Кб [список файлов]
kfreebsd-amd64 766,6 Кб1 221,0 Кб [список файлов]
kfreebsd-i386 759,0 Кб1 218,0 Кб [список файлов]
mips 750,9 Кб1 301,0 Кб [список файлов]
mipsel 751,3 Кб1 301,0 Кб [список файлов]
powerpc 757,8 Кб1 282,0 Кб [список файлов]
s390 761,1 Кб1 293,0 Кб [список файлов]
s390x 766,9 Кб1 332,0 Кб [список файлов]
sparc 747,6 Кб1 270,0 Кб [список файлов]