tools.refinery » refinery-generator
Library for model generation in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-gradle-plugins
Gradle convention plugins in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-language-ide
IDE support for the partial modeling language in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-language-semantics
Semantics for the partial modeling language in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-dse
Design-space explorer for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-dse-visualization
Design-space exploration visualizer for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-query
Query API for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-query-interpreter
Interpreted query backend for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-reasoning
Partial model reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-language
Partial modeling language in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-language-model
Abstract syntax for the partial modeling language in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-logic
Logic expressions in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store
Model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-store-reasoning-scope
Multiplicity reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26tools.refinery » refinery-versions
Version catalog of Refinery and its dependencies for Gradle in Refinery, an efficient graph solver for generating well-formed models
更新时间: 2024-07-18 03:26| 仓库 | 个数 |
| Central | 592045 |