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
Audio Video Cutter Joiner Suite
Audio Video Cutter Joiner Suite

Editores y conversores

Ashampoo Snap
Ashampoo Snap

Capturas de pantalla

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.