AlexanderKnueppel / AlexanderKnueppel/Skeditor
Add means for generating KeymaerraX programs
未关闭
enhancement
- 主要语言
- Java
- 星标
- 1
- 派生
- 5
- PR 合并指标
- 30 天内没有已合并 PR
描述
Currently, the only way to generate KeymaeraX programs from Skillgraphs is by using the dynamic model. We should add an additional AST-ish like structure to generate syntactically correct programs based on a skill of a skillgraph.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。