Z3-2.12 2.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. La versión de la aplicación más usada es 2.1.
La herramienta pertenece al grupo de aplicaciones sobre Educación y Ciencia. Originariamente, esta herramienta sin coste la creó Microsoft Research. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.
Del desarrollador:
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in Limitations:
- Expose coefficients used in arithmetical proofs.
Quizás esté interesado en probar otros programas, como Resident Evil 6 Benchmark, que podrían ser similares a Z3-2.12.