Repository #32944298 · stable identity

z3｜Z3 定理证明器Z3Prover/z3

Z3Prover/z3AI 译

Z3 定理证明器 The Z3 Theorem Prover

打开 GitHub ↗

当前 Star: 12,465
作者 / 所有者: Z3Prover
主要语言: C++
GitHub 创建: 待补充
最近代码推送: 待补充
已发布: 发布天数待补充
首次发现: 2026-07-15
最近追踪: 2026-07-21

Decision brief

项目速览

它解决什么

Z3 定理证明器

适合谁

需要科学研究能力的开发者或团队。

为什么上榜

2026-07-20 候选池 Star 净增 +2。

中文名称、简介和分类属于辅助理解层；GitHub 原始仓库信息始终是权威来源。

Project taxonomy

方向与适用场景

项目方向: 科学与研究
产品形态: 应用
适用场景: 科学研究
分类来源: GitHub Models 生成 · 词表 1.0.0

30 day true history

真实历史

日期总 Star净增日榜排名

2026-07-20 12,465 +2 —

2026-07-19 — — —

2026-07-18 — — —

2026-07-17 — — —

2026-07-16 12,459 +4 —

2026-07-15 — — —

2026-07-14 — — —

2026-07-13 — — —

2026-07-12 — — —

2026-07-11 — — —

2026-07-10 — — —

2026-07-09 — — —

2026-07-08 — — —

2026-07-07 — — —

2026-07-06 — — —

2026-07-05 — — —

2026-07-04 — — —

2026-07-03 — — —

2026-07-02 — — —

2026-07-01 — — —

2026-06-30 — — —

2026-06-29 — — —

2026-06-28 — — —

2026-06-27 — — —

2026-06-26 — — —

2026-06-25 — — —

2026-06-24 — — —

2026-06-23 — — —

2026-06-22 — — —

2026-06-21 — — —

— 表示当日缺少有效连续快照，或项目当日不在可比较候选中；不补零，不插值。

Related repositories

相似项目

Apollo-11｜阿波罗 11 号 AGC 源代码 chrislgarry/Apollo-11 69,831 Star · Assembly google-research｜Google研究项目 google-research/google-research 38,413 Star · Jupyter Notebook numpy｜Python 科学计算基础包 numpy/numpy 32,405 Star · Python nature-skills｜nature 论文学术表达与科研绘图技能 Yuan1z0825/nature-skills 30,007 Star · Python