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

[ Source: z3 ]

Package: libz3-java (4.13.3-1)

Links for libz3-java

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

dimostratore di teoremi di Microsoft Research - collegamenti Java

Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.

Questo pacchetto può essere utilizzato per invocare Z3 attraverso la sua API Java.

Other Packages Related to libz3-java

depends

recommends

suggests

enhances

dep: libz3-dev (= 4.13.3-1)

dimostratore di teoremi di Microsoft Research - file di sviluppo
dep: libz3-jni (<< 4.13.3-1.1~)

dimostratore di teoremi di Microsoft Research - libreria JNI

dep: libz3-jni (>= 4.13.3-1)

Download libz3-java

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	177.9 kB	204.0 kB	[list of files]
amd64	177.9 kB	204.0 kB	[list of files]
arm64	177.9 kB	204.0 kB	[list of files]
armel	177.9 kB	204.0 kB	[list of files]
armhf	177.9 kB	204.0 kB	[list of files]
i386	177.9 kB	204.0 kB	[list of files]
mips64el	177.9 kB	204.0 kB	[list of files]
ppc64el	177.9 kB	204.0 kB	[list of files]
riscv64	177.9 kB	204.0 kB	[list of files]
s390x	177.9 kB	204.0 kB	[list of files]
sparc64 (unofficial port)	177.9 kB	204.0 kB	[list of files]
x32 (unofficial port)	177.9 kB	204.0 kB	[list of files]