Theorem prover from Microsoft Research.
Descripción del desarrollador (inglés)
¿Qué es z3?
z3 es software de código abierto para Windows incluido en la categoría Terminales y línea de comandos.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de 64 bits, ARM64 y 32 bits. Funciona sin instalación (versión portable).
Popularidad y tipos de archivo
El paquete de Chocolatey suma 16.496 descargas. Entre los programas similares figuran PowerShell, QPDF y Oh My Posh.
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Versión nativa ARM64 para Windows on Arm
- Portable: funciona sin instalar
En resumen: z3 es un programa de código abierto de la categoría Terminales y línea de comandos, disponible para equipos de 64 bits, ARM64 y 32 bits.
¿Es seguro descargar z3?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 1 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 5.3.1Última | — | ARM64 ZIP64 bits ZIP32 bits ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›choco install z3 -yscoop install main/z3Archivos de programa (.exe): z3.exe
Guía relacionada: Cómo usar winget: instalar y actualizar programas
También para otros sistemas
brew install z3Información
- Categoría
- Terminales y línea de comandos
- Licencia
- MIT
- Precio
- Gratis
- Código fuente
- github.com
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits, ARM64, 32 bits
- Instalador
- Portable
- Versión
- 5.3.1
- Versiones registradas
- 1
- Descargas en Chocolatey
- 16.496
- Sitio web
- github.com
- Paquete de Chocolatey
- z3
- Paquete de Scoop
- main/z3
Valoraciones y opiniones
Todavía no hay opiniones.
Alternativas a z3
Ver todo ›-
Código abierto689,6 mil ↓ -
Código abierto2,1 M ↓ -
Código abierto820,8 mil ↓ -
Código abierto1,5 M ↓ -
Código abierto5,3 M ↓ -
Código abierto75,9 mil ↓ -
Código abierto290,1 mil ↓ -
Código abierto112,5 mil ↓
Preguntas frecuentes
¿Es gratis z3?
Sí. z3 es software de código abierto con licencia MIT.
¿Es seguro descargar z3?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Funciona z3 en ARM (Windows on Arm)?
Sí, hay un instalador nativo para ARM64.
¿Se puede usar z3 sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
¿Qué alternativas hay a z3?
PowerShell, QPDF, Oh My Posh, yq y PuTTY. La página de alternativas los compara.
