Z3-2.6 2.6 puede descargarse gratuitamente desde nuestra biblioteca de programas. 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. El resultado de nuestro antivirus ha determinado que esta descarga es segura. 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.