Z3-2.6 2.6 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Este programa sin coste fue diseñado originariamente por Microsoft Research.
Las versiones más populares entre los usuarios de Z3-2.6 son 2.6 y 1.0. La última versión de Z3-2.6 es compatible con ordenadores con Windows XP/7/10/11 de 32 bits. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. Z3-2.6 pertenece al grupo de programas Educación y Ciencia, en concreto al de aplicaciones sobre Herramientas científicas.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Z3-2.12, que podrían ser similares a Z3-2.6.