Group: Refinery

Sort by:Popular▼

✓Popular✓Newest

Refinery Z3

Refinery Ibex

Refinery Interpreter

Refinery Java

Refinery Settings

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

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

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

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

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

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

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

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

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

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

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

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

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

Design-space explorer for the model store in Refinery, an efficient graph solver for generating well-formed models

Design-space exploration visualizer for the model store in Refinery, an efficient graph solver for generating well-formed models