Theorem prover from Microsoft Research.
Descrizione del produttore (inglese)
Cos’è z3?
z3 è un software open source per Windows che rientra nella categoria Terminali e riga di comando.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit, ARM64 e 32 bit di Windows. Funziona senza installazione (versione portable).
Popolarità e tipi di file
Il pacchetto Chocolatey è stato scaricato 16.496 volte. Tra i programmi simili ci sono PowerShell, QPDF e Oh My Posh.
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Versione ARM64 nativa per Windows on Arm
- Portable: funziona senza installazione
In breve: z3 è un programma open source per Windows della categoria Terminali e riga di comando, per PC 64 bit, ARM64 e 32 bit.
Scaricare z3 è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (1) ›| Versione | Data | Dimensione | File |
|---|---|---|---|
| 5.3.1Ultima | — | ARM64 ZIP64 bit ZIP32 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›choco install z3 -yscoop install main/z3File di programma (.exe): z3.exe
Guida correlata: Come usare winget: installare e aggiornare app
Disponibile anche per altri sistemi
brew install z3Informazioni
- Categoria
- Terminali e riga di comando
- Licenza
- MIT
- Prezzo
- Gratis
- Codice sorgente
- github.com
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit, ARM64, 32 bit
- Installer
- Portable
- Versione
- 5.3.1
- Versioni elencate
- 1
- Download Chocolatey
- 16.496
- Sito ufficiale
- github.com
- Pacchetto Chocolatey
- z3
- Pacchetto Scoop
- main/z3
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a z3
Vedi tutti ›-
Open source689,6K ↓ -
Open source2,1 Mln ↓ -
Open source820,8K ↓ -
Open source1,5 Mln ↓ -
Open source5,3 Mln ↓ -
Open source75,9K ↓ -
Open source290,1K ↓ -
Open source112,5K ↓
Domande frequenti
z3 è gratis?
Sì. z3 è un software open source con licenza MIT.
Scaricare z3 è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
z3 funziona su ARM (Windows on Arm)?
Sì, esiste un installer ARM64 nativo.
z3 si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a z3?
PowerShell, QPDF, Oh My Posh, yq e PuTTY. La pagina delle alternative le mette a confronto.
