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 ਦੇ ਬਦਲ
ਸਾਰੀਆਂ ਦੇਖੋ ›-
ਓਪਨ ਸੋਰਸ6.9 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ21.3 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ8.2 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ14.8 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ52.7 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ75.9 ਹਜ਼ਾਰ ↓ -
ਓਪਨ ਸੋਰਸ2.9 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ1.1 ਲੱਖ ↓
ਅਕਸਰ ਪੁੱਛੇ ਜਾਣ ਵਾਲੇ ਸਵਾਲ
ਕੀ z3 ਮੁਫ਼ਤ ਹੈ?
ਹਾਂ। z3 ਓਪਨ ਸੋਰਸ ਸਾਫ਼ਟਵੇਅਰ ਹੈ (MIT ਲਾਇਸੈਂਸ)।
ਕੀ z3 ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
ਫ਼ਾਈਲ github.com ਤੋਂ ਡਾਊਨਲੋਡ ਹੁੰਦੀ ਹੈ, ਜੋ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਆਪਣਾ ਹੈ; ExeAtlas ਫ਼ਾਈਲ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ। ਡਾਊਨਲੋਡ ਕੀਤੀ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਇੱਥੇ ਦਿਖਾਏ ਹੈਸ਼ ਨਾਲ ਮਿਲਾਓ, ਜਾਂ ਉਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ।
ਕੀ z3 ARM (Windows on Arm) ਉੱਤੇ ਚੱਲਦਾ ਹੈ?
ਹਾਂ, ਇਸ ਦਾ ਨੇਟਿਵ ARM64 ਇੰਸਟਾਲਰ ਮੌਜੂਦ ਹੈ।
ਕੀ z3 ਨੂੰ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰਾਂ ਤੋਂ ਬਿਨਾਂ ਵਰਤਿਆ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ, ਇਹ ਪੋਰਟੇਬਲ ਹੈ: ਫ਼ਾਈਲ ਅਨਪੈਕ ਕਰੋ ਅਤੇ ਚਲਾਓ।
z3 ਦੇ ਬਦਲ ਕਿਹੜੇ ਹਨ?
PowerShell, QPDF, Oh My Posh, yq ਅਤੇ PuTTY। ਬਦਲਾਂ ਵਾਲੇ ਪੰਨੇ ਉੱਤੇ ਇਹਨਾਂ ਦੀ ਤੁਲਨਾ ਦਿੱਤੀ ਗਈ ਹੈ।
