[ Quellcode: z3 ]
Paket: z3 (4.8.12-3.1 und andere)
Links für z3
Debian-Ressourcen:
Quellcode-Paket z3 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Theorembeweiser von Microsoft Research
Z3 ist ein hochmoderner Theorembeweiser von Microsoft Research. Er kann verwendet werden, um die Erfüllbarkeit logischer Formeln über eine oder mehrere Theorien zu überprüfen. Z3 bietet eine überzeugende Übereinstimmung mit Softwareanalyse- und Verifizierungswerkzeugen, da mehrere gängige Softwarekonstrukte direkt in unterstützte Theorien abgebildet werden.
Das Z3-Eingabeformat ist eine Erweiterung des vom Standard SMT-LIB 2.0 definierten Formats.
Andere Pakete mit Bezug zu z3
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt
-
- dep: libc6 (>= 2.34) [nicht alpha, ia64]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
- dep: libc6.1 (>= 2.36) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- GCC Support-Bibliothek
- 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 Support-Bibliothek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC Support-Bibliothek
-
- dep: libstdc++6 (>= 12) [alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
- GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
- dep: libstdc++6 (>= 13.1) [nicht alpha, hppa, ia64, m68k, ppc64, sparc64, x32]
-
- dep: libunwind8 [ia64]
- Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit
z3 herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 4.8.12-3.1 | 6.540,2 kB | 28.697,0 kB | [Liste der Dateien] |
| amd64 | 4.8.12-3.1+b2 | 7.194,3 kB | 23.568,0 kB | [Liste der Dateien] |
| arm64 | 4.8.12-3.1+b2 | 6.363,6 kB | 23.276,0 kB | [Liste der Dateien] |
| armel | 4.8.12-3.1+b2 | 5.940,8 kB | 21.753,0 kB | [Liste der Dateien] |
| armhf | 4.8.12-3.1+b2 | 6.193,4 kB | 14.845,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 4.8.12-3.1 | 6.822,9 kB | 25.898,0 kB | [Liste der Dateien] |
| i386 | 4.8.12-3.1+b2 | 7.828,4 kB | 25.194,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 4.8.12-3.1 | 8.630,5 kB | 51.893,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 4.8.12-3.1 | 6.458,6 kB | 22.065,0 kB | [Liste der Dateien] |
| mips64el | 4.8.12-3.1+b2 | 6.105,7 kB | 30.062,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 4.8.12-3.1 | 7.085,6 kB | 31.851,0 kB | [Liste der Dateien] |
| ppc64el | 4.8.12-3.1+b2 | 7.319,8 kB | 29.996,0 kB | [Liste der Dateien] |
| riscv64 | 4.8.12-3.1+b2 | 7.245,1 kB | 19.464,0 kB | [Liste der Dateien] |
| s390x | 4.8.12-3.1+b2 | 7.726,8 kB | 26.880,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 4.8.12-3.1 | 5.464,9 kB | 22.577,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 4.8.12-3.1 | 7.119,8 kB | 21.957,0 kB | [Liste der Dateien] |