всички настройки
jessie  ] [  stretch  ] [  sid  ]
[ Източник: spass  ]

Пакет: spass (3.7-4)

Връзки за spass

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник spass.

Отговорници:

Външни препратки:

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

automated theorem prover for first-order logic with equality

SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation.

This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii.

Други пакети, свързани с spass

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на spass

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 914,5 кБ4 579,0 кБ [списък на файловете]
amd64 980,0 кБ3 799,0 кБ [списък на файловете]
arm64 865,2 кБ3 479,0 кБ [списък на файловете]
armel 817,9 кБ3 493,0 кБ [списък на файловете]
armhf 826,6 кБ2 533,0 кБ [списък на файловете]
hppa (неофициална архитектура) 872,9 кБ3 583,0 кБ [списък на файловете]
hurd-i386 909,0 кБ3 953,0 кБ [списък на файловете]
i386 939,5 кБ4 241,0 кБ [списък на файловете]
kfreebsd-amd64 963,7 кБ3 723,0 кБ [списък на файловете]
kfreebsd-i386 913,1 кБ3 953,0 кБ [списък на файловете]
m68k (неофициална архитектура) 784,2 кБ3 013,0 кБ [списък на файловете]
mips 871,9 кБ4 282,0 кБ [списък на файловете]
mips64el 874,3 кБ4 338,0 кБ [списък на файловете]
mipsel 854,2 кБ4 136,0 кБ [списък на файловете]
powerpcspe (неофициална архитектура) 814,4 кБ3 669,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 829,0 кБ4 449,0 кБ [списък на файловете]
ppc64el 850,8 кБ4 443,0 кБ [списък на файловете]
s390x 920,5 кБ4 527,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 827,6 кБ2 665,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 810,9 кБ3 297,0 кБ [списък на файловете]
x32 (неофициална архитектура) 979,7 кБ3 725,0 кБ [списък на файловете]