এখানে z3-এর ১টি সংস্করণ আছে, থেকে বর্তমান 5.3.1 পর্যন্ত। প্রতিটির লিংক যায় প্রকাশকের নিজস্ব ইনস্টলার ফাইলে।
| সংস্করণ | তারিখ | সাইজ | ফাইল |
|---|---|---|---|
| 5.3.1সর্বশেষ | — | ৬৪-বিট ZIPARM64 ZIP৩২-বিট ZIP |
z3: পুরোনো সংস্করণ ডাউনলোড করুন
Theorem prover from Microsoft Research.
- লাইসেন্সওপেন সোর্স
- সংস্করণ5.3.1
- প্রয়োজনীয় সিস্টেমWindows 10, 11
- Chocolatey ডাউনলোড১৬.৫ হা
টার্মিনাল ও CLI টুল-এ সবচেয়ে জনপ্রিয়
সব দেখুন-
PowerShellটার্মিনাল ও CLI টুল · Microsoft Corporation -
QPDFটার্মিনাল ও CLI টুল · QPDF -
Oh My Poshটার্মিনাল ও CLI টুল · Jan De Dobbeleer -
Microsoft Azure CLIটার্মিনাল ও CLI টুল · Microsoft Corporation -
yqটার্মিনাল ও CLI টুল · Mike Farah -
Alacrittyটার্মিনাল ও CLI টুল · Alacritty -
fzfটার্মিনাল ও CLI টুল · Junegunn Choi -
PuTTYটার্মিনাল ও CLI টুল · Simon Tatham -
cURLটার্মিনাল ও CLI টুল · curl -
Tabbyটার্মিনাল ও CLI টুল · Tabby Developers