microsoft/z3guide
Tutorials and courses for Z3
microsoft/z3guide 对新手友好吗？
近期外部贡献者向 microsoft/z3guide 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前没有开放的新手友好 issue，下方列出了我们收录的该仓库的其他 issue。
- 星标
- 126
- 派生
- 34
- 开放的新手 issue
- 0
- 已索引 issue
- 13
- 平均合并
- 11 天 5 小时
- 30 天内合并 PR
- 5
- 主要语言
- JavaScript
- 许可证
- MIT
- 最近 GitHub push
- 2026年9月24日
- 最近索引
- 2026年9月19日
- 贡献指南
- 贡献指南
- 行为准则
- 行为准则
- 新手标签
- 没有已索引的新手标签
如何为 microsoft/z3guide 做贡献
- 先读贡献指南：它说明了维护者希望如何提出、测试和评审改动。
- 项目自带 dev container：在 Codespaces 中打开，在浏览器里直接得到一个能用的开发环境。
- 读一下行为准则：它同样适用于 issue 和 PR，而不只是聊天。
- 关注这个仓库，有新的新手友好 issue 时就能知道；也可以看看下方的其他 issue。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
难度 1/5 1 小时以内 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
难度 1/5 1 小时以内 新手友好度 50/100
-
syntax highlighting of smt samples in readonly blocks可能重新可做 @pelikhan 于 1495 天前认领，目前没有进行中的 PR。 未关闭enhancement
-
C# examples未关闭content enhancement
难度 3/5 1-2 天 新手友好度 38/100
-
highlighting lines with error with squigglies可能重新可做 @pelikhan 于 1495 天前认领，目前没有进行中的 PR。 未关闭enhancement
-
analytics through Azure可能重新可做 @pelikhan 于 1495 天前认领，目前没有进行中的 PR。 未关闭future
-
Automate sidebar generation for SMTLIB content可能重新可做 @NikolajBjorner 于 1495 天前认领，目前没有进行中的 PR。 未关闭bug content
-
question
难度 5/5 一周以上 新手友好度 25/100
-
screen reader support可能重新可做 @pelikhan 于 1495 天前认领，目前没有进行中的 PR。 未关闭a11y future
-
keyboard navigation可能重新可做 @pelikhan 于 1495 天前认领，目前没有进行中的 PR。 未关闭a11y future
-
难度 4/5 3-5 天 新手友好度 35/100
-
Add an example that illustrates set_on_model for Optimize可能已有人在做 @copilot-swe-agent 于 381 天前认领。 未关闭