[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Kaynak: z3 ]

Paket: libz3-jni (4.13.3-1)

libz3-jni için bağlantılar

Debian Kaynakları:

z3 Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

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 ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
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 indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
arm64	34,8 kB	268,0 kB	[dosya listesi]