套件：libz3-jni（4.8.12-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: libc6 (>= 2.17) [arm64, ppc64el]

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

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

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

  GCC 支援函式庫

• dep: libstdc++6 (>= 4.3) [armel, armhf, i386, mipsel]

  GNU Standard C++ Library v3

• dep: libz3-4 (>= 4.8.12)

  theorem prover from Microsoft Research - runtime libraries

• dep: libz3-dev (= 4.8.12-3.1)

  theorem prover from Microsoft Research - development files

下載 libz3-jni

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

硬體架構	套件大小	安裝後大小	檔案
amd64	31。7 kB	196。0 kB	[檔案列表]
arm64	29。9 kB	204。0 kB	[檔案列表]
armel	27。8 kB	156。0 kB	[檔案列表]
armhf	29。3 kB	148。0 kB	[檔案列表]
i386	39。2 kB	224。0 kB	[檔案列表]
mips64el	33。5 kB	296。0 kB	[檔案列表]
mipsel	35。4 kB	292。0 kB	[檔案列表]
ppc64el	35。4 kB	268。0 kB	[檔案列表]
s390x	32。5 kB	212。0 kB	[檔案列表]