Theorem prover from Microsoft Research.
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
z3 என்றால் என்ன?
z3, டெர்மினல்கள் மற்றும் CLI கருவிகள் பிரிவைச் சேர்ந்த ஒரு ஓப்பன் சோர்ஸ் Windows மென்பொருள்.
நிறுவலும் தேவைகளும்
வெளியீட்டாளர் 64-பிட், ARM64 மற்றும் 32-பிட் Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
பிரபலமும் கோப்பு வகைகளும்
இதன் Chocolatey தொகுப்பு 16,496 முறை பதிவிறக்கப்பட்டுள்ளது. இதைப் போன்ற மென்பொருள்கள்: PowerShell, QPDF மற்றும் Oh My Posh.
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- Windows on Arm-க்கான நேட்டிவ் ARM64 பதிப்பு
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
சுருக்கமாக: z3 ஒரு 64-பிட், ARM64 மற்றும் 32-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் டெர்மினல்கள் மற்றும் 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 பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
z3 மென்பொருளுக்கு மாற்றுகள் என்ன?
PowerShell, QPDF, Oh My Posh, yq மற்றும் PuTTY. மாற்றுகள் பக்கத்தில் இவை ஒப்பிடப்பட்டுள்ளன.
