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

[ Kaynak: z3 ]

Paket: libz3-java (4.8.12-3.1)

libz3-java 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 - java bindings

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

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

libz3-java ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libz3-dev

theorem prover from Microsoft Research - development files
dep: libz3-jni (<< 4.8.12-3.1.1~)

theorem prover from Microsoft Research - JNI library

dep: libz3-jni (>= 4.8.12-3.1)

libz3-java indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	159,3 kB	186,0 kB	[dosya listesi]
arm64	159,3 kB	186,0 kB	[dosya listesi]
armel	159,3 kB	186,0 kB	[dosya listesi]
armhf	159,3 kB	186,0 kB	[dosya listesi]
i386	159,3 kB	186,0 kB	[dosya listesi]
mips64el	159,3 kB	186,0 kB	[dosya listesi]
mipsel	159,3 kB	186,0 kB	[dosya listesi]
ppc64el	159,3 kB	186,0 kB	[dosya listesi]
s390x	159,3 kB	186,0 kB	[dosya listesi]