Z3-2.6 2.6 was available to download from the developer's website when we last checked. We cannot confirm if there is a free download of this software available.
We cannot guarantee that the program is safe to download as it will be downloaded from the developer's website. Before launching the program, check it with any free antivirus software. The following versions: 2.6 and 1.0 are the most frequently downloaded ones by the program users. Z3-2.6 can be installed on 32-bit versions of Windows XP/7/10/11. The program is included in Education Tools. This free program is a product of Microsoft Research.
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.