Theorem prover from Microsoft Research.
Описание от разработчика (английский)
Что такое z3?
z3 — ПО для Windows с открытым исходным кодом, категория «Терминалы и консольные утилиты».
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит, ARM64 и 32-бит. Программа работает без установки (портативная версия).
Популярность и типы файлов
Пакет в Chocolatey скачан 16 496 раз. Похожие программы: PowerShell, QPDF и Oh My Posh.
Плюсы / Минусы
Плюсы
- Открытый исходный код: его можно проверить и собрать самостоятельно
- Нативная сборка ARM64 для Windows on Arm
- Портативная версия: работает без установки
Коротко: z3 — программа для Windows с открытым исходным кодом (категория «Терминалы и консольные утилиты»); сборки: 64-бит, ARM64 и 32-бит.
Безопасно ли скачивать программу z3?
- Файл загружается с домена разработчика (github.com)
- Ссылка для скачивания использует HTTPS
- Опубликован хеш SHA256 — файл можно проверить:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Открыть отчёт VirusTotal по этому хешу - Ссылка ещё не проверялась
- Исходный код открыт
- ExeAtlas не хранит, не оборачивает и не изменяет установщики
Инструкция по теме: Как проверить хеш SHA256 файла в Windows
Последние версии
Все версии (1) ›| Версия | Дата | Размер | Файлы |
|---|---|---|---|
| 5.3.1Последняя | — | ARM64 ZIP64-бит ZIP32-бит ZIP |
Установка из командной строки
Тихая установка ›choco install z3 -yscoop install main/z3Файлы программ (.exe): z3.exe
Инструкция по теме: Как пользоваться winget: установка и обновление
Есть и для других систем
brew install z3Информация
- Категория
- Терминалы и консольные утилиты
- Лицензия
- 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 без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.
Какие есть аналоги программы z3?
PowerShell, QPDF, Oh My Posh, yq и PuTTY. Их сравнение — на странице аналогов.
