Refinery Store Reasoning Scope refinery-store-reasoning-scope 
| Group | tools.refinery |
| 描述 | Multiplicity reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models |
| Packaging | pom.sha512 |
| Size | 128.0 bytes |
| 文件 | pom jar |
| 网址 | https://refinery.tools/ |
| 发布时间 | 2024-07-18 03:26 |
dependencies
developers
| The Refinery Authors |
licenses
| Eclipse Public License - v 2.0 | https://www.eclipse.org/legal/epl-2.0/ |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |