Z3-2.6 2.6 kann gratis von unserem Software-Portal heruntergeladen werden. Der eigentliche Entwickler dieses kostenlosen Programms ist Microsoft Research. Dieses Programm kann als "Bildung und Wissenschaft" beschrieben werden.
Unsere eingebauten Antivirenprogramme haben diesen Download geprüft und ihn als virenfrei eingestuft. 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.