Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: z3  ]

Paket: z3 (4.8.12-3.1 und andere)

Links für z3

Screenshot

Debian-Ressourcen:

Quellcode-Paket z3 herunterladen:

Betreuer:

Externe Ressourcen:

Ä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

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

z3 herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 4.8.12-3.1+b3 7.611,3 kB24.748,0 kB [Liste der Dateien]