Theorem prover from Microsoft Research.
Maelezo ya mchapishaji (Kiingereza)
z3 ni nini?
z3 ni programu ya chanzo huria ya Windows iliyo katika kundi la “Terminali na zana za CLI”.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit, ARM64 na 32-bit. Inafanya kazi bila kusakinishwa (portable).
Umaarufu na aina za faili
Kifurushi chake cha Chocolatey kimepakuliwa mara 16,496. Programu zinazofanana ni pamoja na PowerShell, QPDF na Oh My Posh.
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Toleo asili la ARM64 kwa Windows on Arm
- Portable: inafanya kazi bila kusakinishwa
Kwa ufupi: z3 ni zana ya chanzo huria ya kundi la “Terminali na zana za CLI” kwa kompyuta za 64-bit, ARM64 na 32-bit.
Je, ni salama kupakua z3?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Toleo 1 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 5.3.1Jipya zaidi | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›choco install z3 -yscoop install main/z3Faili za programu (.exe): z3.exe
Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Pia kwa mifumo mingine
brew install z3Taarifa
- Kategoria
- Terminali na zana za CLI
- Leseni
- MIT
- Bei
- Bure
- Msimbo chanzo
- github.com
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit, ARM64, 32-bit
- Kisakinishi
- Portable
- Toleo
- 5.3.1
- Matoleo yaliyoorodheshwa
- 1
- Vipakuliwa vya Chocolatey
- 16,496
- Tovuti
- github.com
- Kifurushi cha Chocolatey
- z3
- Kifurushi cha Scoop
- main/z3
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa z3
Ona zote ›-
Chanzo huriaelfu 689.6 ↓ -
Chanzo huriaM2.1 ↓ -
Chanzo huriaelfu 820.8 ↓ -
Chanzo huriaM1.5 ↓ -
Chanzo huriaM5.3 ↓ -
Chanzo huriaelfu 75.9 ↓ -
Chanzo huriaelfu 290.1 ↓ -
Chanzo huriaelfu 112.5 ↓
Maswali yanayoulizwa mara kwa mara
Je, z3 ni bure?
Ndiyo. z3 ni programu ya chanzo huria chini ya leseni ya MIT.
Je, ni salama kupakua z3?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Je, z3 inafanya kazi kwenye ARM (Windows on Arm)?
Ndiyo, kuna kisakinishi asili cha ARM64.
Je, z3 inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
Ni programu gani mbadala wa z3?
PowerShell, QPDF, Oh My Posh, yq na PuTTY. Ukurasa wa mbadala unazilinganisha.
