Theorem prover from Microsoft Research.
Lýsing útgefanda (enska)
Hvað er z3?
Það er opinn hugbúnaður fyrir Windows og tilheyrir flokknum Skjáhermar og skipanalínutól.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita, ARM64 og 32 bita útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Vinsældir og skráargerðir
Chocolatey-pakkinn hefur verið sóttur 16.496 sinnum. Sambærileg forrit eru meðal annars PowerShell, QPDF og Oh My Posh.
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Sérstök ARM64-útgáfa fyrir Windows on Arm
- Ferðaútgáfa: keyrir án uppsetningar
Í stuttu máli: Forritið z3 er opinn hugbúnaður í flokknum Skjáhermar og skipanalínutól fyrir Windows (64 bita, ARM64 og 32 bita).
Er óhætt að sækja forritið z3?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 1 útgáfurnar ›| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 5.3.1Nýjast | — | ARM64 ZIP64 bita ZIP32 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›choco install z3 -yscoop install main/z3Forritaskrár (.exe): z3.exe
Tengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Einnig fyrir önnur stýrikerfi
brew install z3Upplýsingar
- Flokkur
- Skjáhermar og skipanalínutól
- Leyfi
- MIT
- Verð
- Ókeypis
- Grunnkóði
- github.com
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita, ARM64, 32 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 5.3.1
- Skráðar útgáfur
- 1
- Niðurhöl á Chocolatey
- 16.496
- Vefsíða
- github.com
- Chocolatey-pakki
- z3
- Scoop-pakki
- main/z3
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Valkostir í stað forritsins z3
Sjá allt ›-
Opinn hugbúnaður689,6 þ. ↓ -
Opinn hugbúnaður2,1 m. ↓ -
Opinn hugbúnaður820,8 þ. ↓ -
Opinn hugbúnaður1,5 m. ↓ -
Opinn hugbúnaður5,3 m. ↓ -
Opinn hugbúnaður75,9 þ. ↓ -
Opinn hugbúnaður290,1 þ. ↓ -
Opinn hugbúnaður112,5 þ. ↓
Algengar spurningar
Er z3 ókeypis?
Já. Forritið z3 er opinn hugbúnaður með leyfinu MIT.
Er óhætt að sækja forritið z3?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Keyrir z3 á ARM (Windows on Arm)?
Já, það er til sérstakt ARM64-uppsetningarforrit.
Er hægt að nota z3 án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
Hvaða forrit koma í stað forritsins z3?
PowerShell, QPDF, Oh My Posh, yq og PuTTY. Síðan um valkosti ber þau saman.
