Z3-2.12 2.1 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist.
Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Folgende Version wird von den Benutzerinnen und Benutzern dieses Programms am häufigsten heruntergeladen: 2.1. Dieses kostenlose Programm wurde ursprünglich von Microsoft Research designt. Dieses Programm gehört zur Kategorie "Bildung und Wissenschaft" und Unterkategorie "Wissenschaft".
Vom Entwickler:
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in Limitations:
- Expose coefficients used in arithmetical proofs.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Resident Evil 6 Benchmark informieren, die für Z3-2.12 relevant sein können.