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

[ Pakiet źródłowy: z3  ]

theorem prover from Microsoft Research - development files

Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.

This package can be used to invoke Z3 via its C++ API.

Znaczniki: Rozwój oprogramowania: Biblioteki, Rola: Biblioteka deweloperska

Inne pakiety związane z libz3-dev

• dep: libz3-4 (= 4.13.3-1) [nie ia64]

  Dowód twierdzenia z Microsoft Research - biblioteki uruchomieniowe

  dep: libz3-4 (= 4.8.12-3.1) [ia64]

Pobieranie libz3-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
amd64	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
arm64	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
armel	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
armhf	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
hppa (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
i386	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
ia64 (port nieoficjalny)	4.8.12-3.1	88,4 KiB	532,0 KiB	[lista plików]
loong64 (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
m68k (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
mips64el	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
ppc64el	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
riscv64	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
s390x	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]
x32 (port nieoficjalny)	4.13.3-1	104,0 KiB	602,0 KiB	[lista plików]