Theorem prover from Microsoft Research.
ప్రచురణకర్త ఇచ్చిన వివరణ (ఇంగ్లీష్)
z3 అంటే ఏమిటి?
z3 ఒక ఓపెన్ సోర్స్ Windows సాఫ్ట్‌వేర్ (వర్గం: టెర్మినల్స్ మరియు CLI టూల్స్).
ఇన్‌స్టాలేషన్ మరియు సిస్టమ్ అవసరాలు
ప్రచురణకర్త 64-బిట్, ARM64 మరియు 32-బిట్ Windows కోసం పోర్టబుల్ ఇన్‌స్టాలర్లు అందిస్తున్నారు. దీన్ని ఇన్‌స్టాల్ చేయకుండానే రన్ చేయవచ్చు (పోర్టబుల్).
జనాదరణ మరియు ఫైల్ రకాలు
Chocolatey ప్యాకేజ్ 16,496 సార్లు డౌన్‌లోడ్ అయింది. ఇలాంటి ప్రోగ్రామ్‌లు: PowerShell, QPDF మరియు Oh My Posh.
అనుకూలతలు / లోపాలు
అనుకూలతలు
- ఓపెన్ సోర్స్: ఎవరైనా దీని కోడ్ చూడవచ్చు, బిల్డ్ చేయవచ్చు
- Windows on Arm కోసం నేటివ్ ARM64 బిల్డ్
- పోర్టబుల్: ఇన్‌స్టాల్ లేకుండానే రన్ అవుతుంది
సారాంశం: z3 64-బిట్, ARM64 మరియు 32-బిట్ PCల కోసం ఒక ఓపెన్ సోర్స్ Windows టూల్ (వర్గం: టెర్మినల్స్ మరియు CLI టూల్స్).
z3 డౌన్‌లోడ్ చేయడం సురక్షితమేనా?
- ఫైల్ github.com నుంచి వస్తుంది, అది ప్రచురణకర్త సొంత డొమైన్
- డౌన్‌లోడ్ లింక్ HTTPS వాడుతుంది
- SHA256 హ్యాష్ ప్రచురించబడింది, కాబట్టి మీరు ఫైల్‌ను తనిఖీ చేయవచ్చు:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· ఈ హ్యాష్ VirusTotal రిపోర్ట్ తెరవండి - లింక్ ఇంకా తనిఖీ చేయలేదు
- సోర్స్ కోడ్ పబ్లిక్‌గా అందుబాటులో ఉంది
- ExeAtlas ఇన్‌స్టాలర్‌ను హోస్ట్ చేయదు, రాప్ చేయదు, మార్చదు
సంబంధిత గైడ్: Windowsలో ఫైల్ SHA256 హ్యాష్ ఎలా చెక్ చేయాలి
ఇటీవలి వెర్షన్లు
మొత్తం 1 వెర్షన్లు ›| వెర్షన్ | తేదీ | సైజ్ | ఫైల్‌లు |
|---|---|---|---|
| 5.3.1తాజా | — | ARM64 ZIP64-బిట్ ZIP32-బిట్ ZIP |
కమాండ్ లైన్ ద్వారా ఇన్‌స్టాల్
సైలెంట్ ఇన్‌స్టాల్ ›choco install z3 -yscoop install main/z3ప్రోగ్రామ్ ఫైల్‌లు (.exe): z3.exe
సంబంధిత గైడ్: winget ఎలా వాడాలి: యాప్‌లు ఇన్‌స్టాల్, అప్‌డేట్
ఇతర సిస్టమ్‌లకు కూడా
brew install z3సమాచారం
- వర్గం
- టెర్మినల్స్ మరియు CLI టూల్స్
- లైసెన్స్
- MIT
- ధర
- ఉచితం
- సోర్స్ కోడ్
- github.com
- అవసరమైన సిస్టమ్
- Windows 11 / 10
- ఆర్కిటెక్చర్
- 64-బిట్, ARM64, 32-బిట్
- ఇన్‌స్టాలర్
- పోర్టబుల్
- వెర్షన్
- 5.3.1
- నమోదైన వెర్షన్లు
- 1
- Chocolatey డౌన్‌లోడ్‌లు
- 16,496
- వెబ్‌సైట్
- github.com
- Chocolatey ప్యాకేజ్
- z3
- Scoop ప్యాకేజ్
- main/z3
రేటింగ్‌లు మరియు రివ్యూలు
ఇంకా రివ్యూలు లేవు. మొదట రేటింగ్ ఇచ్చేది మీరే అవ్వండి.
z3 ప్రత్యామ్నాయాలు
అన్నీ చూడండి ›-
ఓపెన్ సోర్స్689.6వే ↓ -
ఓపెన్ సోర్స్2.1మి ↓ -
ఓపెన్ సోర్స్820.8వే ↓ -
ఓపెన్ సోర్స్1.5మి ↓ -
ఓపెన్ సోర్స్5.3మి ↓ -
ఓపెన్ సోర్స్75.9వే ↓ -
ఓపెన్ సోర్స్290.1వే ↓ -
ఓపెన్ సోర్స్112.5వే ↓
తరచుగా అడిగే ప్రశ్నలు
z3 ఉచితమేనా?
అవును. z3 ఓపెన్ సోర్స్ సాఫ్ట్‌వేర్ (MIT లైసెన్స్).
z3 డౌన్‌లోడ్ చేయడం సురక్షితమేనా?
ఫైల్ github.com నుంచి డౌన్‌లోడ్ అవుతుంది, అది ప్రచురణకర్త సొంతం; ExeAtlas ఫైల్‌ను హోస్ట్ చేయదు, మార్చదు. డౌన్‌లోడ్ చేసిన ఫైల్ SHA256 హ్యాష్‌ను ఇక్కడ చూపిన హ్యాష్‌తో సరిపోల్చండి, లేదా ఆ హ్యాష్ VirusTotal రిపోర్ట్ తెరవండి.
z3 ARM (Windows on Arm)లో పనిచేస్తుందా?
అవును, నేటివ్ ARM64 ఇన్‌స్టాలర్ ఉంది.
అడ్మినిస్ట్రేటర్ హక్కులు లేకుండా z3 వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.
z3కు ప్రత్యామ్నాయాలు ఏవి?
PowerShell, QPDF, Oh My Posh, yq మరియు PuTTY. ప్రత్యామ్నాయాల పేజీలో వీటి పోలిక ఉంది.
