z3 — აქ ჩამოთვლილია 1 ვერსია: პირველი , მიმდინარე 5.3.1. თითოეული ვერსია გამომცემლის საკუთარ საინსტალაციო ფაილზე მიუთითებს.
| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 5.3.1უახლესი | — | 64-ბიტიანი ZIPARM64 ZIP32-ბიტიანი ZIP |
z3: ძველი ვერსიები და ყველა ვერსია
Theorem prover from Microsoft Research.
- ლიცენზიაღია კოდი
- ვერსია5.3.1
- მოთხოვნებიWindows 10, 11
- Chocolatey ჩამოტვირთვები16,5 ათ.
ყველაზე პოპულარული — ტერმინალი და ბრძანებათა ხაზი
ყველას ნახვა-
PowerShellტერმინალი და ბრძანებათა ხაზი · Microsoft Corporation -
QPDFტერმინალი და ბრძანებათა ხაზი · QPDF -
Oh My Poshტერმინალი და ბრძანებათა ხაზი · Jan De Dobbeleer -
Microsoft Azure CLIტერმინალი და ბრძანებათა ხაზი · Microsoft Corporation -
yqტერმინალი და ბრძანებათა ხაზი · Mike Farah -
Alacrittyტერმინალი და ბრძანებათა ხაზი · Alacritty -
fzfტერმინალი და ბრძანებათა ხაზი · Junegunn Choi -
PuTTYტერმინალი და ბრძანებათა ხაზი · Simon Tatham -
cURLტერმინალი და ბრძანებათა ხაზი · curl -
Tabbyტერმინალი და ბრძანებათა ხაზი · Tabby Developers