Z3-2.6 2.6 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. O programa está dentro de Educação, na subcategoria Ferramentas de Ciência.
A versão mais recente do software pode ser baixada para computadores executando Windows XP/7/10/11 de 32-bit. As versões mais populares do programa são 2.6 e 1.0. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Esse programa foi originalmente feito por Microsoft Research.
Do desenvolvedor:
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.
Confira mais programas, tais como Z3-2.12, TBarCode ou Connected Components Workbench, que podem ser similares a Z3-2.6.