Z3-2.6 2.6 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. Der eigentliche Entwickler dieses kostenlosen Programms ist Microsoft Research.
Dieses Programm kann als "Bildung und Wissenschaft" beschrieben werden. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Die neueste Version von Z3-2.6 wird auf PCs mit Windows XP/7/10/11 32-Bit unterstützt. Die unter den Benutzerinnen und Benutzern dieses Programms beliebtesten Versionen sind 2.6 und 1.0.
Vom Entwickler:
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Z3-2.12 informieren, die an Z3-2.6 ähnlich sein können.