[ Quellcode: z3 ]
Paket: libz3-dev (4.4.1-1~deb10u1)
Links für libz3-dev
Debian-Ressourcen:
Quellcode-Paket z3 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libz3-dev
|
|
|
|
-
- dep: libz3-4 (= 4.4.1-1~deb10u1)
- Theorembeweiser von Microsoft Research - Laufzeitbibliotheken
libz3-dev herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 77,8 kB | 455,0 kB | [Liste der Dateien] |
| arm64 | 77,8 kB | 455,0 kB | [Liste der Dateien] |
| armhf | 77,8 kB | 455,0 kB | [Liste der Dateien] |
| i386 | 77,8 kB | 455,0 kB | [Liste der Dateien] |