Pakiet: spass (3.9-1.1 i inne)

[ Pakiet źródłowy: 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.

Znaczniki: Dziedzina: Matematyka

Inne pakiety związane z spass

• dep: libc6 (>= 2.11) [hppa]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.3.4) [i386, m68k, mips64el, sparc64]

  dep: libc6 (>= 2.31) [sh4]

  dep: libc6 (>= 2.34) [riscv64]

  dep: libc6 (>= 2.4) [armel, armhf, ppc64, s390x]

• dep: libc6.1 (>= 2.31) [ia64]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

Pobieranie spass

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	3.9-1.1	282,9 KiB	1 146,0 KiB	[lista plików]
amd64	3.9-1.1	286,2 KiB	758,0 KiB	[lista plików]
arm64	3.9-1.1	245,6 KiB	734,0 KiB	[lista plików]
armel	3.9-1.1	209,1 KiB	601,0 KiB	[lista plików]
armhf	3.9-1.1	218,7 KiB	425,0 KiB	[lista plików]
hppa (port nieoficjalny)	3.9-1.1	243,1 KiB	726,0 KiB	[lista plików]
i386	3.9-1.1	321,2 KiB	981,0 KiB	[lista plików]
ia64 (port nieoficjalny)	3.9-1.1	335,7 KiB	1 656,0 KiB	[lista plików]
m68k (port nieoficjalny)	3.9-1.1	183,1 KiB	601,0 KiB	[lista plików]
mips64el	3.9-1.1	251,3 KiB	1 042,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	3.9-1.1	302,1 KiB	1 235,0 KiB	[lista plików]
ppc64el	3.9-1.1	301,8 KiB	1 106,0 KiB	[lista plików]
riscv64	3.9-1.1+b1	275,6 KiB	583,0 KiB	[lista plików]
s390x	3.9-1.1	256,8 KiB	834,0 KiB	[lista plików]
sh4 (port nieoficjalny)	3.9-1.1	242,4 KiB	537,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	3.9-1.1	212,1 KiB	661,0 KiB	[lista plików]
x32 (port nieoficjalny)	3.9-1.1	282,7 KiB	729,0 KiB	[lista plików]