Εδώ καταγράφονται 1 έκδοση του z3, από τις έως την τρέχουσα 5.3.1. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 5.3.1Τελευταία | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: παλαιότερες εκδόσεις και ιστορικό
Theorem prover from Microsoft Research.
- ΆδειαΑνοιχτού κώδικα
- Έκδοση5.3.1
- ΑπαιτήσειςWindows 10, 11
- Λήψεις Chocolatey16,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