❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

项目介绍 快速开始 学习路径 项目截图 1 贡献者 311 增长趋势 Commit 历史 代码统计 生态关系 项目时间线 项目竞品 依赖分析 上榜历史
Z3Prover

Z3Prover/z3

C++ 活跃
355
2026-04-28
12k
+4
#20
1.6k

项目介绍

Z3定理证明器

The Z3 Theorem Prover

智能解读

点击生成更详细的项目介绍

智能标签

生成技术栈、用途、特征、受众等多维度标签

使用场景

了解这个项目能帮你解决什么问题

项目健康度

B
69/100
良好
活跃度人气增长社区文档
活跃度 15/23

距上次更新 26 天

人气 24/25

平台 Star TOP 6% · Forks 1,647

增长 11/25

本周 +27 ⭐ · 本月 +115 ⭐

社区 14/17

311 位贡献者 · 0 条平台评论

文档 5/10

缺少 3 项内容

在 GitHub 上查看

项目信息

作者 Z3Prover
来源 GitHub
周期 每日
仓库ID Z3Prover/z3
最新提交 2026-04-28 21:09:32
第一收录 2026-04-29 08:01:29
最后更新 2026-04-29 08:01:29

赞赏支持

如果本站对你有帮助，欢迎打赏支持

微信打赏码

微信

支付宝打赏码

支付宝

评论 0

登录 后发表评论

加载评论中...

相关项目推荐

tensorflow

tensorflow/tensorflow

面向所有人的开源机器学习框架

195k C++
facebook

facebook/react-native

一个使用React构建原生应用程序的框架

125k C++
electron

electron/electron

使用 JavaScript、HTML 和 CSS 构建跨平台桌面应用程序

121k C++
ggml-org

ggml-org/llama.cpp

使用 C/C++ 实现的大语言模型推理框架

112k C++
godotengine

godotengine/godot

Godot引擎——跨平台2D与3D游戏引擎

111k C++
microsoft

microsoft/terminal

全新Windows Terminal与经典Windows控制台主机，集于一处！

103k C++
助手