[ Source: z3 ]
Package: libz3-4 (4.8.12-3.1 and others)
Links for libz3-4
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Læresætningsbeviser fra Microsoft Research - kørselstidsbiblioteker
Z3 er en moderne læresætningsbeviser fra Microsoft Research. Den kan bruges til at kontrollere opfyldelsen for logiske formler over en eller flere teorier. Z3 tilbyder et overbevisende match for programanalyse og verifikationsværktøjer da flere gængse programkonstruktioner oversættes direkte til understøttede teorier.
Denne pakke indeholder kørselstidsbiblioteker. Du bør ikke skulle installere den manuelt.
Other Packages Related to libz3-4
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.34) [not alpha, ia64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.36) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- GCC støttebibliotek
- 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]
- GCC støttebibliotek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC støttebibliotek
-
- dep: libstdc++6 (>= 12) [alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
- GNU Standard C++ bibliotek v3
- dep: libstdc++6 (>= 13.1) [not alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
-
- dep: libunwind8 [ia64]
- Bibliotek til at bestemme call-chain for et program - kørselstid
Download libz3-4
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.8.12-3.1 | 6,517.3 kB | 28,634.0 kB | [list of files] |
| amd64 | 4.8.12-3.1+b2 | 7,174.3 kB | 23,532.0 kB | [list of files] |
| arm64 | 4.8.12-3.1+b2 | 6,355.9 kB | 23,208.0 kB | [list of files] |
| armel | 4.8.12-3.1+b2 | 5,925.7 kB | 21,697.0 kB | [list of files] |
| armhf | 4.8.12-3.1+b2 | 6,176.1 kB | 14,825.0 kB | [list of files] |
| hppa (unofficial port) | 4.8.12-3.1 | 6,917.9 kB | 26,665.0 kB | [list of files] |
| i386 | 4.8.12-3.1+b2 | 7,802.1 kB | 25,129.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.8.12-3.1 | 6,443.5 kB | 22,012.0 kB | [list of files] |
| mips64el | 4.8.12-3.1+b2 | 6,069.7 kB | 29,924.0 kB | [list of files] |
| ppc64 (unofficial port) | 4.8.12-3.1 | 7,066.3 kB | 31,847.0 kB | [list of files] |
| ppc64el | 4.8.12-3.1+b2 | 7,296.5 kB | 29,928.0 kB | [list of files] |
| riscv64 | 4.8.12-3.1+b2 | 7,223.8 kB | 19,440.0 kB | [list of files] |
| s390x | 4.8.12-3.1+b2 | 7,707.1 kB | 26,848.0 kB | [list of files] |
| sparc64 (unofficial port) | 4.8.12-3.1 | 5,466.0 kB | 22,596.0 kB | [list of files] |
| x32 (unofficial port) | 4.8.12-3.1 | 7,102.2 kB | 21,929.0 kB | [list of files] |