Pakiet: gappa (1.6.0-1)

Odnośniki dla gappa

Zasoby systemu Debian:

Pobieranie pakietu źródłowego gappa:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [gappa.gitlabpages.inria.fr]

Podobne pakiety:

Automatyczne generowanie dowodów własności arytmetycznych

Ten pakiet zawiera narzędzie ułatwiające weryfikację i udowodnienie właściwości programów numerycznych, które wykorzystują arytmetykę stało i zmiennoprzecinkową.

Inne pakiety związane z gappa

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [nie armhf, riscv64]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libgmp10 (>= 2:6.3.0+dfsg)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libjs-sphinxdoc (>= 8.1)

JavaScript support for Sphinx documentation
dep: libmpfr6 (>= 3.1.3)

Obliczenia zmiennoprzecinkowe wysokiej precyzji
dep: libstdc++6 (>= 14)

Standardowa biblioteka GNU C++, wersja 3

Pobieranie gappa

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	441,5 KiB	1 562,0 KiB	[lista plików]
arm64	408,5 KiB	1 570,0 KiB	[lista plików]
armhf	402,6 KiB	1 311,0 KiB	[lista plików]
i386	456,5 KiB	1 578,0 KiB	[lista plików]
ppc64el	433,6 KiB	1 698,0 KiB	[lista plików]
riscv64	430,2 KiB	1 362,0 KiB	[lista plików]
s390x	424,5 KiB	1 549,0 KiB	[lista plików]