Theorem prover from Microsoft Research.
Description de l’éditeur (anglais)
z3 : présentation
z3 fait partie des logiciels open source pour Windows de la catégorie « Terminaux et ligne de commande ».
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions 64 bits, ARM64 et 32 bits de Windows. Il fonctionne sans installation (version portable).
Popularité et types de fichiers
Le paquet Chocolatey a été téléchargé 16 496 fois. Parmi les logiciels comparables figurent PowerShell, QPDF et Oh My Posh.
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Version ARM64 native pour Windows on Arm
- Portable : fonctionne sans installation
En résumé: z3 est un logiciel open source de la catégorie « Terminaux et ligne de commande », proposé pour les PC 64 bits, ARM64 et 32 bits.
z3 : le téléchargement est-il sûr ?
- Le fichier est servi par github.com, le domaine de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Versions récentes
Toutes les versions (1) ›| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 5.3.1Dernière | — | ARM64 ZIP64 bits ZIP32 bits ZIP |
Installer en ligne de commande
Installation silencieuse ›choco install z3 -yscoop install main/z3Fichiers programme (.exe): z3.exe
Guide associé: Utiliser winget : installer et mettre à jour
Aussi pour d’autres systèmes
brew install z3Informations
- Catégorie
- Terminaux et ligne de commande
- Licence
- MIT
- Prix
- Gratuit
- Code source
- github.com
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits, ARM64, 32 bits
- Installateur
- Portable
- Version
- 5.3.1
- Versions répertoriées
- 1
- Téléchargements Chocolatey
- 16 496
- Site officiel
- github.com
- Paquet Chocolatey
- z3
- Paquet Scoop
- main/z3
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Alternatives à z3
Tout voir ›-
Open source689,6 k ↓ -
Open source2,1 M ↓ -
Open source820,8 k ↓ -
Open source1,5 M ↓ -
Open source5,3 M ↓ -
Open source75,9 k ↓ -
Open source290,1 k ↓ -
Open source112,5 k ↓
Questions fréquentes
z3 est-il gratuit ?
Oui. z3 est un logiciel open source distribué sous licence MIT.
z3 : le téléchargement est-il sûr ?
Le fichier est servi par github.com, un domaine qui appartient à l’éditeur ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
z3 fonctionne-t-il sur ARM (Windows on Arm) ?
Oui, un installateur ARM64 natif est disponible.
Peut-on utiliser z3 sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
Quelles sont les alternatives à z3 ?
PowerShell, QPDF, Oh My Posh, yq et PuTTY. La page des alternatives les compare.
