Theorem prover from Microsoft Research.
Julkaisijan kuvaus (englanti)
Mikä on z3?
z3 on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: Päätteet ja komentorivi).
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen, ARM64 ja 32-bittinen; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Suosio ja tiedostotyypit
Chocolatey-paketti on ladattu 16 496 kertaa. Samankaltaisia ohjelmia ovat esimerkiksi PowerShell, QPDF ja Oh My Posh.
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Natiivi ARM64-versio Windows on Arm -laitteille
- Portable: toimii ilman asennusta
Lyhyesti: z3 on avoimen lähdekoodin työkalu kategoriasta Päätteet ja komentorivi (64-bittinen, ARM64 ja 32-bittinen).
Onko z3-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (1) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 5.3.1Uusin | — | ARM64 ZIP64-bittinen ZIP32-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›choco install z3 -yscoop install main/z3Ohjelmatiedostot (.exe): z3.exe
Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Saatavilla myös muille järjestelmille
brew install z3Tiedot
- Kategoria
- Päätteet ja komentorivi
- Lisenssi
- MIT
- Hinta
- Ilmainen
- Lähdekoodi
- github.com
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen, ARM64, 32-bittinen
- Asennusohjelma
- Portable
- Versio
- 5.3.1
- Versioita luettelossa
- 1
- Chocolatey-lataukset
- 16 496
- Verkkosivusto
- github.com
- Chocolatey-paketti
- z3
- Scoop-paketti
- main/z3
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja z3-ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi689,6 t. ↓ -
Avoin lähdekoodi2,1 milj. ↓ -
Avoin lähdekoodi820,8 t. ↓ -
Avoin lähdekoodi1,5 milj. ↓ -
Avoin lähdekoodi5,3 milj. ↓ -
Avoin lähdekoodi75,9 t. ↓ -
Avoin lähdekoodi290,1 t. ↓ -
Avoin lähdekoodi112,5 t. ↓
Usein kysytyt kysymykset
Onko z3 ilmainen?
Kyllä. z3 on avoimen lähdekoodin ohjelmisto, lisenssi MIT.
Onko z3-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Toimiiko z3 ARM-koneissa (Windows on Arm)?
Kyllä, saatavilla on natiivi ARM64-asennusohjelma.
Voiko z3-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
Mitä vaihtoehtoja z3-ohjelmalle on?
PowerShell, QPDF, Oh My Posh, yq ja PuTTY. Vaihtoehtosivu vertailee niitä.
