Pakiet: eprover (2.6+ds-3)

[ 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.33)

  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	955,7 KiB	11 346,0 KiB	[lista plików]
arm64	879,5 KiB	12 089,0 KiB	[lista plików]
armel	718,9 KiB	11 234,0 KiB	[lista plików]
armhf	689,6 KiB	6 818,0 KiB	[lista plików]
i386	959,7 KiB	11 130,0 KiB	[lista plików]
mips64el	982,5 KiB	14 463,0 KiB	[lista plików]
mipsel	990,3 KiB	14 316,0 KiB	[lista plików]
ppc64el	991,8 KiB	14 521,0 KiB	[lista plików]
s390x	888,9 KiB	13 735,0 KiB	[lista plików]