Theorem prover from Microsoft Research.
Beskrywing deur die uitgewer (Engels)
Wat is z3?
z3 is Windows-sagteware met oop bronkode (kategorie: Terminale en CLI-gereedskap).
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis, ARM64 en 32-bis Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Gewildheid en lêertipes
Die Chocolatey-pakket is al 16 496 keer afgelaai. Soortgelyke programme sluit PowerShell, QPDF en Oh My Posh in.
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Inheemse ARM64-weergawe vir Windows on Arm
- Draagbaar: werk sonder installasie
Kortliks: z3 is ’n oopbronprogram in die kategorie Terminale en CLI-gereedskap vir 64-bis, ARM64 en 32-bis rekenaars.
Is dit veilig om z3 af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 1 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 5.3.1Nuutste | — | ARM64 ZIP64-bis ZIP32-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›choco install z3 -yscoop install main/z3Programlêers (.exe): z3.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Ook vir ander stelsels
brew install z3Inligting
- Kategorie
- Terminale en CLI-gereedskap
- Lisensie
- MIT
- Prys
- Gratis
- Bronkode
- github.com
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis, ARM64, 32-bis
- Installeerder
- Draagbaar
- Weergawe
- 5.3.1
- Weergawes gelys
- 1
- Chocolatey-aflaaie
- 16 496
- Webwerf
- github.com
- Chocolatey-pakket
- z3
- Scoop-pakket
- main/z3
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir z3
Sien alles ›-
Oopbron689,6 k ↓ -
Oopbron2,1 m ↓ -
Oopbron820,8 k ↓ -
Oopbron1,5 m ↓ -
Oopbron5,3 m ↓ -
Oopbron75,9 k ↓ -
Oopbron290,1 k ↓ -
Oopbron112,5 k ↓
Algemene vrae
Is z3 gratis?
Ja. z3 is oopbronsagteware onder die MIT-lisensie.
Is dit veilig om z3 af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Werk z3 op ARM (Windows on Arm)?
Ja, daar is ’n inheemse ARM64-installeerder.
Kan z3 sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
Wat is alternatiewe vir z3?
PowerShell, QPDF, Oh My Posh, yq en PuTTY. Die bladsy met alternatiewe vergelyk hulle.
