tools.refinery » refinery-language-semantics

Semantics for the partial modeling language in Refinery, an efficient graph solver for generating well-formed models

tools.refinery.interpreter » refinery-interpreter

Query interpreter in Refinery, an efficient graph solver for generating well-formed models

tools.refinery.interpreter » refinery-interpreter-rete

RETE-based query interpreter in Refinery, an efficient graph solver for generating well-formed models

tools.refinery.interpreter » refinery-interpreter-rete-recipes

RETE recipes for the query interpreter in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-generator

Library for model generation in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-gradle-plugins

Gradle convention plugins in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-store-reasoning-scope

Multiplicity reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-language

Partial modeling language in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-language-model

Abstract syntax for the partial modeling language in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-logic

Logic expressions in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-store

Model store in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-store-reasoning-smt

SMT reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-versions

Version catalog of Refinery and its dependencies for Gradle in Refinery, an efficient graph solver for generating well-formed models

tools.refinery.interpreter » refinery-interpreter-localsearch

Local search based query interpreter in Refinery, an efficient graph solver for generating well-formed models

tools.refinery » refinery-bom

Java platform that controls the versions of Refinery and its transitive dependencies in Refinery, an efficient graph solver for generating well-formed models