Pakiet: libz3-4 (4.13.3-1 i inne)

[ Pakiet źródłowy: z3  ]

Dowód twierdzenia z Microsoft Research - biblioteki uruchomieniowe

Z3 to najnowocześniejsze narzędzie do udowadniania twierdzeń opracowane przez firmę Microsoft. Można je wykorzystać do sprawdzenia spełnialności formuł logicznych w oparciu o jedną lub więcej teorii. Z3 oferuje atrakcyjne dopasowanie dla narzędzi analizujących i weryfikujących oprogramowanie, ponieważ kilka popularnych konstrukcji oprogramowania jest bezpośrednio odwzorowywanych na obsługiwane teorie.

Pakiet zawiera biblioteki uruchomieniowe. Nie powinien być instalowany ręcznie.

Znaczniki: Rola: Biblioteka współdzielona

Inne pakiety związane z libz3-4

• dep: libatomic1 (>= 4.8) [riscv64]

  Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic

• dep: libc6 (>= 2.38) [nie i386]

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

  dep: libc6 (>= 2.42) [i386]

• dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

  Biblioteka wspomagająca GCC

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

  dep: libgcc-s1 (>= 3.5) [armhf]

  dep: libgcc-s1 (>= 7) [i386]

• dep: libstdc++6 (>= 14)

  Standardowa biblioteka GNU C++, wersja 3

Pobieranie libz3-4

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	4.13.3-1+b1	8 443,5 KiB	27 263,0 KiB	[lista plików]
arm64	4.13.3-1+b1	7 197,0 KiB	26 159,0 KiB	[lista plików]
armhf	4.13.3-1+b1	7 137,2 KiB	16 748,0 KiB	[lista plików]
i386	4.13.3-1+b1	9 020,6 KiB	28 873,0 KiB	[lista plików]
ppc64el	4.13.3-1+b1	8 524,0 KiB	33 519,0 KiB	[lista plików]
riscv64	4.13.3-1+b1	8 407,7 KiB	21 467,0 KiB	[lista plików]
s390x	4.13.3-1+b1	8 828,9 KiB	30 203,0 KiB	[lista plików]