ArkScript-lang / ArkScript-lang/modules
Add a Z3 module
未关闭
enhancement
priority/low
- 主要语言
- C++
- 星标
- 7
- 派生
- 4
- PR 合并指标
- 30 天内没有已合并 PR
描述
https://github.com/Z3Prover/z3/blob/master/examples/c%2B%2B/example.cpp
贡献指南
这个仓库没有索引到贡献指南
调研方向
先阅读链接的 Z3 C++ 示例，然后检查此仓库中现有的模块源文件和入口点，以确定应如何暴露 Z3。完成的标志是存在一个 Z3 模块，但该 issue 未指定文件、测试、实现范围或验收标准。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- cpp
- 领域
- tooling
- Issue 类型
- 功能
- 难度
- 5/5
- 预计耗时
- 一周以上
- 活跃度
- 停滞
- 描述清晰度
- 需要澄清
- 新手友好度
- 20/100