[ Source: z3 ]
Package: libz3-jni (4.8.12-3.1)
Links for libz3-jni
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
dimostratore di teoremi di Microsoft Research - libreria JNI
Z3 รจ un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.
Questo pacchetto fornisce la libreria JNI per invocare Z3 attraverso la sua API Java.
Other Packages Related to libz3-jni
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.4) [not arm64, ppc64el]
-
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- libreria di supporto a GCC
-
- dep: libstdc++6 (>= 4.3) [armel, armhf, i386, mipsel]
- libreria GNU Standard C++, versione 3
-
- dep: libz3-4 (>= 4.8.12)
- dimostratore di teoremi di Microsoft Research - librerie runtime
-
- dep: libz3-dev (= 4.8.12-3.1)
- dimostratore di teoremi di Microsoft Research - file di sviluppo
Download libz3-jni
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 31.7 kB | 196.0 kB | [list of files] |
| arm64 | 29.9 kB | 204.0 kB | [list of files] |
| armel | 27.8 kB | 156.0 kB | [list of files] |
| armhf | 29.3 kB | 148.0 kB | [list of files] |
| i386 | 39.2 kB | 224.0 kB | [list of files] |
| mips64el | 33.5 kB | 296.0 kB | [list of files] |
| mipsel | 35.4 kB | 292.0 kB | [list of files] |
| ppc64el | 35.4 kB | 268.0 kB | [list of files] |
| s390x | 32.5 kB | 212.0 kB | [list of files] |