Paket: libz3-4 (4.13.3-1 und andere)

[ Quellcode: z3  ]

Theorembeweiser von Microsoft Research - Laufzeitbibliotheken

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.

Dieses Paket enthält Laufzeitbibliotheken. Sie sollten es nicht manuell installieren müssen.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu libz3-4

• dep: libatomic1 (>= 4.8) [riscv64]

  Hilfsbibliothek, die atomare (__atomic) Built-in-Funktionen zur Verfügung stellt

• dep: libc6 (>= 2.38) [nicht alpha, ia64]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libc6.1 (>= 2.36) [ia64]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• 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) [ia64]

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

  dep: libstdc++6 (>= 13.1) [m68k]

  dep: libstdc++6 (>= 14) [nicht ia64, m68k]

• dep: libunwind8 [ia64]

  Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit

libz3-4 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	4.13.3-1	7.541,3 kB	31.977,0 kB	[Liste der Dateien]
amd64	4.13.3-1	8.359,4 kB	27.142,0 kB	[Liste der Dateien]
arm64	4.13.3-1	7.330,9 kB	26.286,0 kB	[Liste der Dateien]
armel	4.13.3-1	6.804,5 kB	24.451,0 kB	[Liste der Dateien]
armhf	4.13.3-1	7.081,7 kB	16.727,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	4.13.3-1	7.946,0 kB	29.956,0 kB	[Liste der Dateien]
i386	4.13.3-1	8.994,7 kB	28.868,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	4.8.12-3.1	8.603,2 kB	51.763,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	4.13.3-1	7.188,7 kB	24.595,0 kB	[Liste der Dateien]
mips64el	4.13.3-1	7.566,9 kB	37.392,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	4.13.3-1	8.224,2 kB	36.334,0 kB	[Liste der Dateien]
ppc64el	4.13.3-1	8.359,4 kB	33.518,0 kB	[Liste der Dateien]
riscv64	4.13.3-1	8.314,9 kB	21.682,0 kB	[Liste der Dateien]
s390x	4.13.3-1	8.881,7 kB	30.370,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	4.13.3-1	6.411,1 kB	26.700,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	4.13.3-1	8.472,2 kB	26.232,0 kB	[Liste der Dateien]