An efficient graph solver for generating well-formed models
Refinery provides a framework for the automated generation of graphs.
Partial modeling allows us to explicitly represent unknown or uncertain knowledge in our models. The Refinery framework enables us to explore design alternatives systematically.
Refinery combines the mathematical precision of formal logic structures with the expressiveness of graph-based models. Underlying solver algorithms ensure formal correctness and completeness of generation processes.
Designers are supported with state-of-the-art web-based editors with advanced IDE features and visualization techniques. The framework can be applied as a simple command-line interface program or deployed on the cloud.
Refinery is equipped with powerful algorithms such as incremental query evaluation, efficient graph isomorphism checking, and version-controlled data structures to solve various modeling and graph processing problems.