Pakiet: eprover (3.1.0+ds-1)

[ Pakiet źródłowy: eprover  ]

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

Inne pakiety związane z eprover

• dep: libc6 (>= 2.34)

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

• dep: picosat (>= 959)

  SAT solver with proof and core support

Pobieranie eprover

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1 003,1 KiB	9 090,0 KiB	[lista plików]
arm64	892,1 KiB	9 200,0 KiB	[lista plików]
armel	689,1 KiB	7 600,0 KiB	[lista plików]
armhf	702,8 KiB	5 688,0 KiB	[lista plików]
i386	1 008,4 KiB	9 647,0 KiB	[lista plików]
mips64el	939,9 KiB	10 609,0 KiB	[lista plików]
ppc64el	1 013,9 KiB	11 825,0 KiB	[lista plików]
riscv64	967,8 KiB	7 781,0 KiB	[lista plików]
s390x	920,6 KiB	10 451,0 KiB	[lista plików]