Pakiet: eprover (3.2.5+ds-1)

Odnośniki dla eprover

Zasoby systemu Debian:

Pobieranie pakietu źródłowego eprover:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [eprover.org]

Podobne pakiety:

Narzędzia do dowodzenia twierdzeń za pomocą równań

Ten pakiet udostępnia narzędzia do dowodzenia twierdzeń za pomocą równań: dowód będzie poszukiwany na podstawie specyfikacji matematycznej w wielokrotnie sortowanej logice pierwszego rzędu z równością i hipotezą lub przypuszczeniem.

Inne pakiety związane z eprover

wymaga

poleca

sugeruje

enhances

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 021,5 KiB	9 238,0 KiB	[lista plików]
arm64	904,2 KiB	9 327,0 KiB	[lista plików]
armhf	712,8 KiB	5 717,0 KiB	[lista plików]
i386	1 020,2 KiB	9 767,0 KiB	[lista plików]
ppc64el	1 012,3 KiB	12 080,0 KiB	[lista plików]
riscv64	972,2 KiB	7 780,0 KiB	[lista plików]
s390x	926,2 KiB	10 499,0 KiB	[lista plików]