套件：libz3-jni（4.13.3-1）

libz3-jni 的相關連結

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package provides the JNI library to invoke Z3 via its Java API.

dep: libatomic1 (>= 4.8) [riscv64]

support library providing __atomic built-in functions
dep: libc6 (>= 2.16) [x32]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [除 alpha, arm64, ppc64el, riscv64, x32]
dep: libc6.1 (>= 2.1.3) [alpha]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [除 armel, armhf]

GCC 支援函式庫

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 5)

GNU Standard C++ Library v3
dep: libz3-4 (>= 4.13.3)

theorem prover from Microsoft Research - runtime libraries
dep: libz3-dev (= 4.13.3-1)

theorem prover from Microsoft Research - development files

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
alpha （非官方移植版）	39。8 kB	275。0 kB	[檔案列表]
amd64	36。6 kB	228。0 kB	[檔案列表]
arm64	34。8 kB	268。0 kB	[檔案列表]
armel	31。6 kB	180。0 kB	[檔案列表]
armhf	33。8 kB	172。0 kB	[檔案列表]
i386	45。1 kB	248。0 kB	[檔案列表]
mips64el	37。8 kB	300。0 kB	[檔案列表]
ppc64el	40。4 kB	332。0 kB	[檔案列表]
riscv64	35。1 kB	204。0 kB	[檔案列表]
s390x	38。2 kB	240。0 kB	[檔案列表]
sparc64 （非官方移植版）	32。8 kB	1，061。0 kB	[檔案列表]
x32 （非官方移植版）	40。7 kB	220。0 kB	[檔案列表]