Paket: libz3-4 (4.13.3-1) [debports]

Links für libz3-4

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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.

Andere Pakete mit Bezug zu libz3-4

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.38)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s4 (>= 4.1.1)

GCC Support-Bibliothek
dep: libstdc++6 (>= 14)

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

libz3-4 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
hppa (inoffizielle Portierung)	7.946,0 kB	29.956,0 kB	[Liste der Dateien]