Paket: libz3-dev (4.13.3-1)

Links für libz3-dev

Debian-Ressourcen:

Quellcode-Paket z3 herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

Theorembeweiser von Microsoft Research - Entwicklungsdateien

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.

Mit diesem Paket kann Z3 über seine C++-API aufgerufen werden.

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

Andere Pakete mit Bezug zu libz3-dev

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libz3-4 (= 4.13.3-1)

Theorembeweiser von Microsoft Research - Laufzeitbibliotheken

libz3-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
riscv64	104,0 kB	602,0 kB	[Liste der Dateien]