Theorem prover from Microsoft Research.
Leidėjo aprašymas (anglų)
Kas yra z3?
Programa z3 yra atvirojo kodo programinė įranga, skirta Windows (kategorija „Terminalai ir CLI įrankiai“).
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų, ARM64 ir 32 bitų. Programa veikia be diegimo (nešiojamoji versija).
Populiarumas ir failų tipai
„Chocolatey“ paketas atsisiųstas 16 496 kartus. Panašios programos: PowerShell, QPDF ir Oh My Posh.
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Natūrali ARM64 versija, skirta Windows on Arm
- Nešiojamoji versija: veikia be diegimo
Trumpai: z3 – atvirojo kodo programa, skirta Windows (kategorija „Terminalai ir CLI įrankiai“), prieinama 64 bitų, ARM64 ir 32 bitų sistemoms.
Ar saugu atsisiųsti programą z3?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (1) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 5.3.1Naujausia | — | ARM64 ZIP64 bitų ZIP32 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›choco install z3 -yscoop install main/z3Programų failai (.exe): z3.exe
Susijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Taip pat kitoms sistemoms
brew install z3Informacija
- Kategorija
- Terminalai ir CLI įrankiai
- Licencija
- MIT
- Kaina
- Nemokama
- Pirminis kodas
- github.com
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų, ARM64, 32 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 5.3.1
- Versijų skaičius
- 1
- Atsisiuntimai iš „Chocolatey“
- 16 496
- Svetainė
- github.com
- „Chocolatey“ paketas
- z3
- „Scoop“ paketas
- main/z3
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Programos z3 alternatyvos
Rodyti viską ›-
Atvirasis kodas689,6 tūkst. ↓ -
Atvirasis kodas2,1 mln. ↓ -
Atvirasis kodas820,8 tūkst. ↓ -
Atvirasis kodas1,5 mln. ↓ -
Atvirasis kodas5,3 mln. ↓ -
Atvirasis kodas75,9 tūkst. ↓ -
Atvirasis kodas290,1 tūkst. ↓ -
Atvirasis kodas112,5 tūkst. ↓
Dažniausi klausimai
Ar programa z3 nemokama?
Taip. z3 – atvirojo kodo programa (licencija MIT), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą z3?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Ar z3 veikia ARM procesoriuose (Windows on Arm)?
Taip, yra natūralus ARM64 diegimo failas.
Ar programą z3 galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
Kokios yra programos z3 alternatyvos?
PowerShell, QPDF, Oh My Posh, yq ir PuTTY. Jos palygintos alternatyvų puslapyje.
