[ Source: z3 ]
Package: libz3-4 (4.8.10-1)
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: libc6 (>= 2.30)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.4) [amd64, mips64el]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [mipsel]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libstdc++6 (>= 9)
- libreria GNU Standard C++, versione 3
Download libz3-4
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 6,786.6 kB | 22,408.0 kB | [list of files] |
| arm64 | 5,973.6 kB | 21,304.0 kB | [list of files] |
| armel | 5,545.3 kB | 19,993.0 kB | [list of files] |
| armhf | 5,818.9 kB | 13,681.0 kB | [list of files] |
| i386 | 7,556.1 kB | 24,813.0 kB | [list of files] |
| mips64el | 5,867.8 kB | 29,450.0 kB | [list of files] |
| mipsel | 5,861.9 kB | 27,785.0 kB | [list of files] |
| ppc64el | 6,998.4 kB | 29,032.0 kB | [list of files] |
| s390x | 6,078.7 kB | 24,188.0 kB | [list of files] |