Refinery Store Reasoning SMT refinery-store-reasoning-smt 
| Group | tools.refinery |
| 描述 | SMT 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
| Group | Artifact | Version |
|---|---|---|
| tools.refinery | refinery-store-reasoning | 0.1.0 |
| tools.refinery.z3 | refinery-z3-solver | 4.12.6 |
developers
| The Refinery Authors |
licenses
| Eclipse Public License - v 2.0 | https://www.eclipse.org/legal/epl-2.0/ |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |