z3.exe: ¿qué es y de qué programa es?
z3.exe es un archivo de programa de z3. Se instala junto con el programa y sirve para iniciarlo desde la línea de comandos.
| Programa | Desarrollador | Última versión | Carpeta de instalación predeterminada |
|---|---|---|---|
| z3 | — | 5.3.1 | — |
Preguntas frecuentes
¿Es seguro z3.exe?
z3.exe es una parte normal de z3 cuando está en la carpeta de instalación del programa y lleva la firma digital del desarrollador. Un archivo con el mismo nombre en otra carpeta puede ser otra cosa: conviene comprobar su firma y su hash.
¿Dónde está z3.exe?
En la carpeta de instalación del programa, que elige el instalador; winget coloca los programas portables en %LOCALAPPDATA%\Microsoft\WinGet\Packages.
¿Cómo se elimina z3.exe?
Desinstalando z3 desde Configuración → Aplicaciones o con winget: el desinstalador elimina también z3.exe. Si solo se borra el archivo, el resto del programa queda en el equipo.