Our website provides a free download of Z3-2.6 2.6. The program relates to Education Tools. This PC program works fine with 32-bit versions of Windows XP/7. This free tool was originally designed by Microsoft Research. The most popular versions of the program 2.6 and 1.0. Our built-in antivirus checked this download and rated it as virus free.
From the developer:
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.
You may want to check out more software, such as Z3-2.12, which might be similar to Z3-2.6.