[ Source: z3 ]
Package: libz3-4 (4.13.3-1 and others)
Links for libz3-4
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
dimostratore di teoremi di Microsoft Research - librerie runtime
Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Può essere usato per verificare la soddisfacibilità di formule logiche su una o più teorie. Z3 offre un corrispettivo convincente per strumenti di verifica e analisi del software, dal momento che molti costrutti software comuni mappano direttamente in teorie gestite.
Questo pacchetto contiene le librerie runtime. Non dovrebbe essere necessario installarlo manualmente.
Other Packages Related to libz3-4
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.38) [not alpha, ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libc6.1 (>= 2.36) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.4) [alpha, amd64, mips64el, ppc64, riscv64, sparc64, x32]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- libreria di supporto a GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- libreria di supporto a GCC
-
- dep: libstdc++6 (>= 12) [ia64]
- libreria GNU Standard C++, versione 3
- dep: libstdc++6 (>= 13.1) [m68k]
- dep: libstdc++6 (>= 14) [not ia64, m68k]
-
- dep: libunwind8 [ia64]
- libreria per tracciare la catena di chiamate di un programma - runtime
Download libz3-4
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.13.3-1 | 7,541.3 kB | 31,977.0 kB | [list of files] |
| amd64 | 4.13.3-1 | 8,359.4 kB | 27,142.0 kB | [list of files] |
| arm64 | 4.13.3-1 | 7,330.9 kB | 26,286.0 kB | [list of files] |
| armel | 4.13.3-1 | 6,804.5 kB | 24,451.0 kB | [list of files] |
| armhf | 4.13.3-1 | 7,081.7 kB | 16,727.0 kB | [list of files] |
| hppa (unofficial port) | 4.13.3-1 | 7,946.0 kB | 29,956.0 kB | [list of files] |
| i386 | 4.13.3-1 | 8,994.7 kB | 28,868.0 kB | [list of files] |
| ia64 (unofficial port) | 4.8.12-3.1 | 8,603.2 kB | 51,763.0 kB | [list of files] |
| m68k (unofficial port) | 4.13.3-1 | 7,188.7 kB | 24,595.0 kB | [list of files] |
| mips64el | 4.13.3-1 | 7,566.9 kB | 37,392.0 kB | [list of files] |
| ppc64 (unofficial port) | 4.13.3-1 | 8,224.2 kB | 36,334.0 kB | [list of files] |
| ppc64el | 4.13.3-1 | 8,359.4 kB | 33,518.0 kB | [list of files] |
| riscv64 | 4.13.3-1 | 8,314.9 kB | 21,682.0 kB | [list of files] |
| s390x | 4.13.3-1 | 8,881.7 kB | 30,370.0 kB | [list of files] |
| sparc64 (unofficial port) | 4.13.3-1 | 6,411.1 kB | 26,700.0 kB | [list of files] |
| x32 (unofficial port) | 4.13.3-1 | 8,472.2 kB | 26,232.0 kB | [list of files] |