Z3-2.12

Z3-2.12

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Gratuita
Descargas totales:3
Latest version:2.1
Reportar información incorrecta

Capturas de pantalla

Screenshot Screenshot

Descripción

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.

Comentarios

¡Gracias por valorar el programa!
Por favor, añade un comentario explicando las razones de tu voto.
Tu voto:
Información actualizada el:
Últimas actualizaciones
EZStation
EZStation

Asistentes de dispositivos

Dentrix
Dentrix

Herramientas de base de datos

Any Flip
Any Flip

Contabilidad y catalogación

Haz tus descargas más fáciles Haz tus descargas más fáciles
Descubre FDM
Complemento de soporte Puede obtener complementos que descargan archivos/videos de sitios web arbitrarios.