套件：libz3-jni（4.13.3-1）

[ 原始碼： z3  ]

theorem prover from Microsoft Research - JNI library

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.

其他與 libz3-jni 有關的套件

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

  support library providing __atomic built-in functions

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

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

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [除 arm64, ppc64el, riscv64]

• 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

下載 libz3-jni

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
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	[檔案列表]