Theorem prover from Microsoft Research.
A kiadó leírása (angol)
Mi a z3?
Nyílt forráskódú szoftver Windowsra, a „Terminálok és parancssor” kategóriában.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites, ARM64 és 32 bites Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Népszerűség és fájltípusok
A Chocolatey-csomagot eddig 16 496 alkalommal töltötték le. Hasonló programok: PowerShell, QPDF és Oh My Posh.
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Natív ARM64-változat Windows on Armhoz
- Hordozható: telepítés nélkül fut
Összegzés: z3: nyílt forráskódú program a „Terminálok és parancssor” kategóriából, 64 bites, ARM64 és 32 bites gépekre.
Biztonságos a z3 letöltése?
- A fájlt a github.com szolgálja ki, amely a kiadó saját domainje
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind az 1 verzió ›| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 5.3.1Legújabb | — | ARM64 ZIP64 bites ZIP32 bites ZIP |
Telepítés parancssorból
Csendes telepítés ›choco install z3 -yscoop install main/z3Programfájlok (.exe): z3.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Más rendszerekre is
brew install z3Információk
- Kategória
- Terminálok és parancssor
- Licenc
- MIT
- Ár
- Ingyenes
- Forráskód
- github.com
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites, ARM64, 32 bites
- Telepítő
- Hordozható
- Verzió
- 5.3.1
- Listázott verziók
- 1
- Chocolatey-letöltések
- 16 496
- Weboldal
- github.com
- Chocolatey-csomag
- z3
- Scoop-csomag
- main/z3
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
z3 – alternatívák
Összes ›-
Nyílt forráskódú689,6 E ↓ -
Nyílt forráskódú2,1 M ↓ -
Nyílt forráskódú820,8 E ↓ -
Nyílt forráskódú1,5 M ↓ -
Nyílt forráskódú5,3 M ↓ -
Nyílt forráskódú75,9 E ↓ -
Nyílt forráskódú290,1 E ↓ -
Nyílt forráskódú112,5 E ↓
Gyakori kérdések
Ingyenes a z3 program?
Igen. A z3 program nyílt forráskódú szoftver (licenc: MIT), ingyenesen letölthető és használható.
Biztonságos a z3 letöltése?
A fájl a github.com szerveréről érkezik, amely a kiadóé; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Fut a z3 program ARM processzoron (Windows on Arm)?
Igen, van natív ARM64-telepítő.
Használható a z3 program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
Milyen alternatívák vannak a z3 helyett?
PowerShell, QPDF, Oh My Posh, yq és PuTTY. Az alternatívák oldala össze is hasonlítja őket.
