Z3Prover/z3
The Z3 Theorem Prover
О проекте
Z3 — это SMT-решатель (theorem prover) от Microsoft Research с открытым исходным кодом, который проверяет выполнимость логических формул и доказывает теоремы. Используется для формальной верификации, символьного выполнения и решения задач оптимизации.
Чем пригодится
- Проверить корректность алгоритма через формальную верификацию условий
- Решить задачу планирования или расписания как SMT-формулу
- Встроить решатель в свой инструмент через C++, Python или .NET bindings
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Почему он в тренде
- Сегодня уже 3 звезды, к концу дня ожидается около 4.
- GitHub Trending C++ за день: #12, +6 звёзд.
Звёзды по дням
Столбики — звёзды за день, линия — обычный темп. Красным — дни всплесков.
Цифры
- Всего звёзд
- 12 698
- Звёзд за сутки
- 4
- Форков
- 1 690
- Issues и pull requests
- 9 612
- Наблюдателей
- 174
- Язык
- C++
- Последний релиз
- Nightly · 18 сентября 2026
- Создан
- 26 марта 2015
- Последний коммит
- 18 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 18 сентября 2026GitHub Trending C++ за день: #12, +6 звёзд
- 17 сентября 2026GitHub Trending C++ за день: #14, +17 звёзд
- 16 сентября 2026GitHub Trending C++ за день: #14, +10 звёзд
Поделиться
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/Z3Prover/z3)Похожие проекты
-
8,3
alibaba/open-code-review
AI-инструмент для код-ревью из Alibaba: читает git-диффы и через LLM-агента с доступом к файлам и поиску по репозиторию выдаёт замечания с точностью до строки. Есть встроенные правила (NPE, thread-safety, XSS, SQL…
-
6,2
gylive/ccodex-sleep-state
Локальный инструмент на Go, который пытается улучшить работу Codex: собирает и подставляет X-Codex-Turn-State, управляет прокси, подписками и моделями Astra/Sol/Terra через веб-панель. Не гарантирует повышения качества…
-
5,9
ahmedkhaleel2004/gitdiagram
Веб-сервис, который превращает любой публичный или приватный GitHub-репозиторий в интерактивную диаграмму архитектуры: анализирует дерево файлов, README и фрагменты кода с помощью LLM и строит граф системы с ссылками…
-
5,6
apple/xcode-project-format
Swift-библиотека от Apple для чтения, записи и изменения JSON-формата project.xcproj в Xcode, с типизированной моделью через пространство имён XCSchema. Также включает CLI-утилиту xcprojformatter.
-
5,4
devagrawal09/jev-review
Инструмент для код-ревью на TypeScript: анализирует Git diff или всю кодовую базу через структурированные вызовы модели TypeSafe Jev и показывает отчёт в локальном дашборде.
-
5,3
nMaas8388/github-ranking-audit
Скрипт на Python для аудита поисковых сигналов GitHub-репозитория: проверяет название, описание, темы, README, звёзды и активность, оценивая каждый фактор от 0 до 100.